( en | de | ru )

 

Disambiguierung von "Rollet, Antoine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Simple Testing Technique for Embedded Systems.

, und . OPODIS, Volume 3144 von Lecture Notes in Computer Science, Seite 159-170. Springer, (2003)

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.

Antoine Kahn

Antoine Derighetti

Rainer Antoine

Antoine Allam

Antoine Taouk

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Enforcement of Timed Properties., , , , , und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2012)Robustness testing of composed real-time systems., , und . J. Comput. Methods Sci. Eng., 10 (3-6): 135-148 (2010)Testing Protocol Robustness., und . IICS, Volume 2877 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2003)Testing robustness of communicating systems using ioco-based approach., und . ISCC, Seite 67-72. IEEE Computer Society, (2009)A pragmatic approach for testing robustness on real-time component based systems., , und . AICCSA, Seite 143. IEEE Computer Society, (2005)A pragmatic approach for testing stateless and stateful Web Service Robustness., und . Stud. Inform. Univ., 10 (2): 139-179 (2012)Optimal enforcement of (timed) properties with uncontrollable events., , , , und . Math. Struct. Comput. Sci., 29 (1): 169-214 (2019)Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols., , , und . IICS, Volume P-165 von LNI, Seite 409-421. GI, (2010)Runtime enforcement of timed properties revisited., , , , , und . Formal Methods Syst. Des., 45 (3): 381-422 (2014)Experimental Test Generation for Real-Time Systems., , , und . IASSE, Seite 284-289. ISCA, (2004)