共 32 条
[1]
[Anonymous], 1989, Modern Structured Analysis
[2]
Arnold A., 1999, Fundamenta Informaticae, V40, P109
[3]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[4]
Bozzano M, 2009, LECT NOTES COMPUT SC, V5775, P173, DOI 10.1007/978-3-642-04468-7_15
[5]
Carnegie Mellon University, WELC OSATE
[6]
A STORM is Coming: A Modern Probabilistic Model Checker
[J].
COMPUTER AIDED VERIFICATION (CAV 2017), PT II,
2017, 10427
:592-600
[7]
Delligatti L., 2013, SYSML DISTILLED BRIE
[8]
Denson W., 1996, Electronic parts reliability data 1997
[9]
Denson W., 1994, TECHNICAL REPORT
[10]
Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption
[J].
2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE),
2018,
:47-57