共 50 条
- [31] AADL-based Safety Analysis Approaches for Safety-Critical Systems 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), 2019, : 481 - 482
- [32] Compact Multi-band Rectangular slotted Antenna for Global Navigation Satellite Systems (GNSS) 2012 24TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2012,
- [33] Compact Multi-band Rectangular Slotted Antenna for Global Navigation Satellite Systems (GNSS) 2013 SAUDI INTERNATIONAL ELECTRONICS, COMMUNICATIONS AND PHOTONICS CONFERENCE (SIECPC), 2013,
- [35] GNSS SDR Based on Multi-channel Multi-Band Multi-System RFFE IC PROCEEDINGS OF THE 29TH INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2016), 2016, : 120 - 127
- [37] A Confidence-based Software Voter for Safety-Critical Systems 2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM), 2014, : 196 - 201
- [38] Design pattern for safety-critical knowledge-based systems VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 131 - 147
- [39] Model-Based Validation of Safety-Critical Embedded Systems 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [40] A STAMP based Method to Synthesize Controller of Safety-Critical Systems 2018 IEEE/AIAA 37TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2018, : 1331 - 1337