共 50 条
- [41] A Hierarchical Domain Model for Safety-Critical Cyber-Physical Systems in Process Automation [J]. PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 430 - 436
- [42] Approaching the hotspot increases the impact: Process breakdowns in a safety-critical system-of-systems [J]. 2009 IEEE INTERNATIONAL SYSTEMS CONFERENCE, PROCEEDINGS, 2009, : 31 - +
- [43] Rigorous development process of a safety-critical system: from ASM models to Java code [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 247 - 269
- [44] A distance model for safety-critical systems [J]. Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
- [47] Quality first - Measuring a safety-critical embedded software development process [J]. INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 1999, 195 : 300 - 320
- [48] Model based development of safety-critical systems using template based code generation [J]. 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2007, : 89 - 92
- [49] Automatic test generation for safety-critical system [J]. ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 70 - 73
- [50] Model-Based Analysis of Safety Critical Systems [J]. 2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,