( en | de | ru )

 

Disambiguierung von "Roux, Olivier H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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

Oreste : a Reliable Reactive Real-Time Language., und . SAFECOMP, Seite 302-310. Springer, (1993)Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised., , , und . Intelligent Vehicles Symposium, Seite 1841-1847. IEEE, (2017)Reachability and liveness in parametric timed automata., , und . CoRR, (2020)Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems., , , , und . Discret. Event Dyn. Syst., 33 (1): 63-93 (März 2023)Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata., , und . CoRR, (2023)Comparison of Different Semantics for Time Petri Nets., , , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)Romeo: A Tool for Analyzing Time Petri Nets., , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 418-423. Springer, (2005)Modeling of Genetic Regulatory Network in Stochastic pi-Calculus., , und . BICoB, Volume 5462 von Lecture Notes in Computer Science, Seite 282-294. Springer, (2009)High-level Colored Time Petri Nets for true concurrency modeling in real-time software., , und . CoDIT, Seite 21-26. IEEE, (2022)Reactive embedded device driver synthesis using logical timed models., , , und . SIMULTECH, Seite 163-169. IEEE, (2014)