PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Stoelinga, Mariëlle"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modelling and Analysis of Markov Reward Automata.

, , , , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 168-184. Springer, (2014)

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.

Keine Personen gefunden für den Autorennamen Stoelinga, Mariëlle
Eine Person hinzufügen mit dem Namen Stoelinga, Mariëlle
 

Weitere Publikationen von Autoren mit dem selben Namen

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost., , , und . Sci. Comput. Program., (2014)Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k., und . STTT, 3 (4): 469-485 (2001)Model-Based Testing., , und . Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework., , , , und . ICECCS, Seite 243-248. IEEE Computer Society, (2008)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , und . DSD, Seite 271-275. IEEE Computer Society, (2015)Uncovering Dynamic Fault Trees., , , und . DSN, Seite 299-310. IEEE Computer Society, (2016)Time Dependent Analysis with Dynamic Counter Measure Trees., , und . CoRR, (2015)LOCKS: a property specification language for security goals., , und . SAC, Seite 1907-1915. ACM, (2018)Ioco Theory for Probabilistic Automata., und . MBT, Volume 180 von EPTCS, Seite 23-40. (2015)A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains., , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 441-456. Springer, (2007)