共 50 条
- [41] Resilient PNT for Safety-Critical Applications Toughen and Augment! PROCEEDINGS OF THE 29TH INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2016), 2016, : 974 - 987
- [43] Applying Formal Methods into Safety-Critical Health Applications MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 195 - 209
- [44] Licensing Reliable Embedded Software for Safety-Critical Applications Real-Time Systems, 2004, 28 : 217 - 236
- [45] Analysing user deviations in interactive safety-critical applications DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 189 - 204
- [46] COTS CPU selection guidelines for safety-critical applications 2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 649 - +
- [47] Derating concerns for microprocessors used in safety-critical applications 2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 348 - 355
- [49] Applying Formal Methods into Safety-Critical Health Applications Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8822 : 195 - 208
- [50] A FPGA-based Demonstrator for Safety-Critical Applications 2017 25TH AUSTROCHIP WORKSHOP ON MICROELECTRONICS (AUSTROCHIP), 2017, : 35 - 40