PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Delahaye, Benoît"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Statistical abstraction and model-checking of large heterogeneous systems.

, , , , und . STTT, 14 (1): 53-72 (2012)

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.

Benoît Paul Dumas University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Probabilistic Time Petri Nets., , , und . Petri Nets, Volume 9698 von Lecture Notes in Computer Science, Seite 261-280. Springer, (2016)Moving from Event-B to probabilistic Event-B., , und . SAC, Seite 1348-1355. ACM, (2017)Stuttering for Abstract Probabilistic Automata., , und . LFCS, Volume 7734 von Lecture Notes in Computer Science, Seite 149-163. Springer, (2013)Graphical Event Model Learning and Verification for Security Assessment., , und . IEA/AIE, Volume 11606 von Lecture Notes in Computer Science, Seite 245-252. Springer, (2019)Parameter Synthesis for Parametric Interval Markov Chains., , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 372-390. Springer, (2016)Consistency in Parametric Interval Probabilistic Timed Automata., , und . CoRR, (2019)New results for Constraint Markov Chains., , , , und . Perform. Eval., 69 (7-8): 379-401 (2012)Consistency in Parametric Interval Probabilistic Timed Automata., und . TIME, Seite 110-119. IEEE Computer Society, (2016)Dynamic networks of heterogeneous timed machines., , , und . Mathematical Structures in Computer Science, 28 (6): 800-855 (2018)Parametric Timed Broadcast Protocols., , , und . CoRR, (2018)