共 50 条
- [31] Analysing user deviations in interactive safety-critical applications [J]. DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 189 - 204
- [33] Built-In Aging Monitoring for Safety-Critical Applications [J]. 2009 15TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, 2009, : 9 - +
- [34] An Operating System for Safety-Critical Applications on Manycore Processors [J]. 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 238 - 245
- [36] A FPGA-based Demonstrator for Safety-Critical Applications [J]. 2017 25TH AUSTROCHIP WORKSHOP ON MICROELECTRONICS (AUSTROCHIP), 2017, : 35 - 40
- [38] Derating concerns for microprocessors used in safety-critical applications [J]. 2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 348 - 355
- [40] Applying Formal Methods into Safety-Critical Health Applications [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8822 : 195 - 208