共 50 条
- [3] Software Certification for Safety-Critical Systems: A Status Report [J]. 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
- [4] Hardware Certification for Safety-Critical Real-Time Systems [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
- [5] Certification of Safety-Critical Systems [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
- [8] Certification of software tools used in safety-critical software development [J]. 2022 IEEE 5TH INTERNATIONAL CONFERENCE AND WORKSHOP OBUDA ON ELECTRICAL AND POWER ENGINEERING, CANDO-EPE, 2022, : 211 - 215
- [9] SafeX: Open Source Hardware and Software Components for Safety-Critical Systems [J]. PROCEEDINGS OF THE 2022 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2022,