( en | de | ru )

 

Disambiguierung von "Jéron, Thierry"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Control Strategies for Off-Line Testing of Timed Systems.

, , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 171-189. Springer, (2018)

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.

Franz-Rudolf Jerono

Andreas Jeron

Winfried Jerono

Gerd-Andreas Jeron

Thierry Somville

 

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)3D Layout of Reachability Graphs of Communicating Processes., und . GD, Volume 894 von Lecture Notes in Computer Science, Seite 25-32. Springer, (1994)A Game Approach to Determinize Timed Automata., , , und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 245-259. Springer, (2011)Runtime Enforcement of Parametric Timed Properties with Practical Applications., , , und . WODES, Seite 420-427. International Federation of Automatic Control, (2014)Control Strategies for Off-Line Testing of Timed Systems., , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 171-189. Springer, (2018)Monitoring confidentiality by diagnosis techniques., , und . ECC, Seite 2584-2589. IEEE, (2009)Towards Efficient Verification of Parallel Applications with Mc SimGrid., , und . FORTE, Volume 15732 von Lecture Notes in Computer Science, Seite 134-153. Springer, (2025)System Test Synthesis from UML Models of Distributed Software., , , , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 97-113. Springer, (2002)Model-Based Test Selection for Infinite State Reactive Systems.. DIPES, Volume 225 von IFIP, Seite 35-44. Springer, (2006)Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs., , und . FORTE, Volume 11535 von Lecture Notes in Computer Science, Seite 224-241. Springer, (2019)