( en | de | ru )

 

Disambiguierung von "Roux, Olivier F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analysis of Slope-Parametric Hybrid Automata.

, , , und . HART, Volume 1201 von Lecture Notes in Computer Science, Seite 75-80. Springer, (1997)

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

Verification of Embedded Reactive Fiffo Systems., , , , und . LATIN, Volume 2286 von Lecture Notes in Computer Science, Seite 400-414. Springer, (2002)Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition., , , , und . CMSB, Volume 8130 von Lecture Notes in Computer Science, Seite 50-63. Springer, (2013)Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata., und . Hybrid Systems, Volume 999 von Lecture Notes in Computer Science, Seite 405-416. Springer, (1994)A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network., , und . CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 8-12. Springer, (2015)Analysis of Slope-Parametric Hybrid Automata., , , und . HART, Volume 1201 von Lecture Notes in Computer Science, Seite 75-80. Springer, (1997)Tuning Temporal Features within the Stochastic π-Calculus., , und . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)ELECTRE: A language using control structure expressions to specify synchronization., und . ACM Annual Conference, Seite 240-245. ACM, (1985)A Genetically Modified Hoare Logic., , , , und . CoRR, (2015)A Formal Model for Gene Regulatory Networks with Time Delays., , , und . CSBio, Volume 115 von Communications in Computer and Information Science, Seite 1-13. Springer, (2010)Extending the Translation from SDL to Promela., , , und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 79-94. Springer, (2002)