( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

, , , , и . ICECCS, стр. 243-248. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Marielle Ziegler

Marielle Stock

Marielle Hering

Marielle Cremer

Marielle Hess

 

Другие публикации лиц с тем же именем

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