( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Better Railway Engineering Through Statistical Model Checking.

, и . ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 151-165. (2016)

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 Cremer

Marielle Hering

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)Formal Methods Meet Machine Learning (F3ML)., , , , , и . ISoLA (3), том 13703 из Lecture Notes in Computer Science, стр. 393-405. Springer, (2022)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)Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics., , и . SAFECOMP, том 14988 из Lecture Notes in Computer Science, стр. 218-232. Springer, (2024)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)DFTSim: a simulation tool for extended dynamic fault trees., , и . SpringSim, SCS/ACM, (2009)