Author:
Morozov Andrey,Ding Kai,Steurer Mikael,Janschek Klaus
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthetic Fault Mode Generation for Resilience Analysis and Failure Mechanism Discovery;Journal of Mechanical Design;2022-12-12
2. A privacy-preserving framework for smart contracts based on stochastic model checking;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10
3. Automated Transformation of UML/SysML Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems;ASCE-ASME J Risk and Uncert in Engrg Sys Part B Mech Engrg;2021-07-14
4. Fmdtools;International Journal of Prognostics and Health Management;2021-04-07
5. Iterative Variable Reordering: Taming Huge System Families;Electronic Proceedings in Theoretical Computer Science;2020-04-26