( en | de | ru )

 

Disambiguierung von "Stoelinga, Mariëlle"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluating repair strategies for a water-treatment facility using Arcade.

, , , , und . DSN, Seite 419-424. IEEE Computer Society, (2010)

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.

Marielle Ziegler

Marielle Stock

Marielle Cremer

Marielle Hering

Marielle Hess

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Testing of Probabilistic Systems., und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 251-268. Springer, (2016)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , und . DSD, Seite 271-275. IEEE Computer Society, (2015)A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications., , , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2016)LOCKS: a property specification language for security goals., , und . SAC, Seite 1907-1915. ACM, (2018)Formal Methods Meet Machine Learning (F3ML)., , , , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 393-405. Springer, (2022)Fuzzy quantitative attack tree analysis., , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 210-231. Springer, (2024)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)DFTSim: a simulation tool for extended dynamic fault trees., , und . SpringSim, SCS/ACM, (2009)Norm Functions for Probabilistic Bisimulations with Delays., und . FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2000)Linear Parametric Model Checking of Timed Automata., , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 189-203. Springer, (2001)