( en | de | ru )

 

Disambiguierung von "Carvalho, Gustavo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Test Case Generation from Natural Language Requirements Using CPN Simulation.

, , und . SBMF, Volume 9526 von Lecture Notes in Computer Science, Seite 178-193. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

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