( en | de | ru )

 

Disambiguation of "Carvalho, Gustavo"

Author of the publication

copydeleteadd this publication to your clipboard
RoboWorld: Verification of Robotic Systems with Environment in the Loop.

, , , and . Formal Aspects Comput., 35 (4): 26:1-26:46 (December 2023)

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.

Gustavo Adolpho Carvalho

Gustavo Corni

Besiegelte Freundschaft: die brandenburgischen Erbeinungen und Erbverbrüderungen im späten Mittelalter. Uni Frankfurt Main, (2008)

Gustavo Grupe

Gustavo Publio University of Leipzig

Gustavo Sousa

 

Other publications of authors with the same name

RoboWorld: Verification of Robotic Systems with Environment in the Loop., , , and . Formal Aspects Comput., 35 (4): 26:1-26:46 (December 2023)LaSca: a Large Scale Group Decision Support System., , , and . J. Univers. Comput. Sci., 17 (2): 261-275 (2011)Model-Based Testing from Controlled Natural Language Requirements., , , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 19-35. Springer, (2013)Large groups decision for the Rio 2016 Olympic Games in the MUTIRÕ project., , , and . CSCWD, page 585-589. IEEE, (2010)RoboWorld: Where Can My Robot Work?, , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 3-22. Springer, (2021)Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements., and . Sci. Comput. Program., (2021)An Analytical and Experimental Comparison of CSP Extensions and Tools., , , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 381-397. Springer, (2012)Collaboration engineering, philosophy, and Democracy with LaSca., , and . CSCWD, page 50-55. IEEE, (2009)A Systematic Mapping Study on Robotic Testing of Mobile Devices., , , , , , and . SEAA, page 475-482. IEEE, (2022)WINDS workshop: Europe-Latin America cooperation in ICT research: state of the art and possibilities offered by the FP7., , and . EATIS, (2008)