共 50 条
- [1] A modular approach for model-based dependability evaluation of a class of systems [J]. SERVICE AVAILABILITY, 2005, 3335 : 160 - 174
- [3] Dependability Aspects of Model-based Systems Design for Mechatronic Systems [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS (ICM), 2015, : 15 - 22
- [4] Arcade - A formal, extensible, model-based dependability evaluation framework [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 243 - +
- [5] An Evaluation of a Model-Based Testing Method for Information Systems [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 770 - +
- [6] Dependability Evaluation: Model and method based on Activity Theory [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 406 - 419
- [7] A Framework for Model-based Dependability Analysis of Cyber-Physical Systems [J]. 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 82 - 89
- [9] Dependability certification of services: a model-based approach [J]. Computing, 2015, 97 : 51 - 78
- [10] DATAM: A model-based tool for dependability analysis [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2021, 33 (07):