Critical system
相关论文数: 3
顶级研究者
最高引用论文
Preliminary Experience Using Z to Specify a Safety-Critical System
John Knight, Darrell Kienzle
引用数: 17 • 1993
Safety Trigger Conditions for Critical Autonomous Systems
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
引用数: 14 • 2012
Optimizing Large-Scale Fault Injection Experiments through Martingale Hypothesis: A Systematic Approach for Reliability Assessment of Safety-Critical Systems
Saurabh Hukerikar, Atieh Lotfi, Yanxiang Huang, Jason H. Campbell, N.R. Saxena
引用数: 2 • 2024