共 50 条
- [21] Software Reliability and Its Interaction with Hardware Reliability 2014 15TH INTERNATIONAL CONFERENCE ON THERMAL, MECHANICAL AND MULTI-PHYSICS SIMULATION AND EXPERIMENTS IN MICROELECTRONICS AND MICROSYSTEMS (EUROSIME), 2014,
- [24] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
- [26] ENSURING RELIABILITY OF AVIONICS SYSTEMS. Aircraft Engineering and Aerospace Technology, 1986, 58 (11): : 14 - 17
- [27] The necessity of assuring quality in software measurement data 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS, 2004, : 119 - 130
- [28] SQA - A PROACTIVE APPROACH TO ASSURING SOFTWARE QUALITY AT&T TECHNICAL JOURNAL, 1994, 73 (01): : 26 - 33
- [29] A new framework for design and simulation of complex hardware/software systems DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 236 - 243