( en | de | ru )

 

Disambiguierung von "Bonifácio, Adilson Luiz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Language-Based Testing for Pushdown Reactive Systems.

. SBMF, Volume 14414 von Lecture Notes in Computer Science, Seite 75-91. Springer, (2023)

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.

Michael Bonifacio

Adilson Gonzaga

Thomas Luiz

Luiz Dahlheim

Luiz Bicca

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Partitions and Compact Test Case Suites., , und . Int. J. Found. Comput. Sci., 23 (1): 147-172 (2012)Modeling and Parameters Synthesis for an Air Traffic Management System., und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 316-334. Springer, (2000)A Tool to Support Model-Based Testing Activities., und . SBESC, Seite 21-26. IEEE Computer Society, (2011)Language-Based Testing for Pushdown Reactive Systems.. SBMF, Volume 14414 von Lecture Notes in Computer Science, Seite 75-91. Springer, (2023)Discretising and testing timed contextual models., und . Int. J. Comput. Appl. Technol., 54 (2): 121-137 (2016)Automatically running experiments on checking multi-party contracts., und . Artif. Intell. Law, 29 (3): 287-310 (2021)Test Suite Completeness and Partial Models., und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 96-110. Springer, (2014)A Generalized Model-Based Test Generation Method., , und . SEFM, Seite 139-148. IEEE Computer Society, (2008)Devising a conflict detection method for multi-party contracts., und . SCCC, Seite 1-6. IEEE, (2015)On the completeness of test suites., und . SAC, Seite 1287-1292. ACM, (2014)