PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Oriat, Catherine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Service specification and validation in the context of the home.

, , , , und . ICFI, Seite 207-219. IOS Press, (2009)

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.

Keine Personen gefunden für den Autorennamen Oriat, Catherine
Eine Person hinzufügen mit dem Namen Oriat, Catherine
 

Weitere Publikationen von Autoren mit dem selben Namen

Model Inference and Testing., , und . Advances in Computers, (2013)Revisiting AI and testing methods to infer FSM models of black-box systems., , , und . AST@ICSE, Seite 16-19. ACM, (2018)Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing., , und . ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 444-457. Springer, (2012)Inferring Finite State Machines Without Reset Using State Identification Sequences., , , und . ICTSS, Volume 9447 von Lecture Notes in Computer Science, Seite 161-177. Springer, (2015)Inferring Approximated Models for Systems Engineering., , , , und . HASE, Seite 249-253. IEEE Computer Society, (2014)Detecting equivalence of modular specifications with categorical diagrams.. Theor. Comput. Sci., 247 (1-2): 141-190 (2000)Service specification and validation in the context of the home., , , , und . ICFI, Seite 207-219. IOS Press, (2009)Formal Testing of Multimodal Interactive Systems., , , , und . EHCI/DS-VIS, Volume 4940 von Lecture Notes in Computer Science, Seite 36-52. Springer, (2007)Detecting Isomorphisms of Modular Specifications with Diagrams.. AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 184-198. Springer, (1995)Improving Model Inference of Black Box Components having Large Input Test Set., , und . ICGI, Volume 21 von JMLR Proceedings, Seite 133-138. JMLR.org, (2012)