( en | de | ru )

 

Disambiguation of "Nogueira, Sidney C."

Author of the publication

copydeleteadd this publication to your clipboard
Visual Specification of Properties for Robotic Designs.

, , , and . SBMF, volume 13130 of Lecture Notes in Computer Science, page 34-52. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sidney Auerbach

Sidney Darchinger

Sidney Amani

Sidney Mendel

Sidney Feygin

 

Other publications of authors with the same name

OggyBug: A Test Automation Tool in Chatbots., , , and . SAST, page 79-87. ACM, (2020)A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP., , and . CoRR, (2019)Test case generation, selection and coverage from natural language., , , , and . Sci. Comput. Program., (2019)A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP., , and . Sci. Comput. Program., (2020)Initial findings on the evaluation of a model-based testing tool in the test design process., , , , and . ESEM, page 1-6. IEEE, (2019)Testing acoustic scene classifiers using Metamorphic Relations., , and . AITest, page 47-54. IEEE, (2020)Inputs and Outputs in CSP: A Model and a Testing Theory., , and . ACM Trans. Comput. Log., 21 (3): 24:1-24:53 (2020)Sound Test Case Generation for Concurrent Mobile Features., , and . SBMF, volume 14414 of Lecture Notes in Computer Science, page 92-109. Springer, (2023)Visual Specification of Properties for Robotic Designs., , , and . SBMF, volume 13130 of Lecture Notes in Computer Science, page 34-52. Springer, (2021)An Approach for Verifying Educational Robots., , , , , and . SBMF, volume 10090 of Lecture Notes in Computer Science, page 59-77. (2016)