( en | de | ru )

 

Disambiguierung von "Roux, Olivier H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Non-Interferent Timed Systems.

, , , und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 28-42. Springer, (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.

Olivier Roux

Pascale Roux

Vergleich psychologischer Usability-Evaluationsmethoden am Beispiel einer Bibliothekswebsite. Uni Duisburg-Essen, (2008)

Gundela Roux-Spangenberg

Roland Rouxel

Alfred Roux

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 406-425. Springer, (2019)Formal verification of real-time systems with preemptive scheduling., und . Real Time Syst., 41 (2): 118-151 (2009)Adaptability of automated driving systems to the hazardous nature of road networks., , , und . ITSC, Seite 1-6. IEEE, (2017)Parametric Model-Checking of Stopwatch Petri Nets., , und . J. Univers. Comput. Sci., 15 (17): 3273-3304 (2009)Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design., , und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 55-75. Springer, (2021)Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation., und . ICATPN, Volume 3099 von Lecture Notes in Computer Science, Seite 371-390. Springer, (2004)Non-Interference Control Synthesis for Security Timed Automata., , und . SecCO@CONCUR, Volume 180 von Electronic Notes in Theoretical Computer Science, Seite 35-53. Elsevier, (2005)Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games., , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 87-101. Springer, (2013)Comparison of Different Semantics for Time Petri Nets., , , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)Oreste : a Reliable Reactive Real-Time Language., und . SAFECOMP, Seite 302-310. Springer, (1993)