共 50 条
- [41] Verification and validation of neural networks for safety-critical applications PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 4789 - 4794
- [42] Towards evidence-based architectural design for safety-critical software applications ARCHITECTING DEPENDABLE SYSTEMS IV, 2007, 4615 : 383 - +
- [43] Architectural concepts for embedded systems in safety-critical applications 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, 2008, : 60 - 65
- [44] 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
- [46] Applying Formal Methods into Safety-Critical Health Applications MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 195 - 209
- [47] Licensing Reliable Embedded Software for Safety-Critical Applications Real-Time Systems, 2004, 28 : 217 - 236
- [48] Analysing user deviations in interactive safety-critical applications DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 189 - 204
- [49] COTS CPU selection guidelines for safety-critical applications 2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 649 - +
- [50] Challenges in Using Neural Networks in Safety-Critical Applications 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,