共 50 条
- [2] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS [J]. DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
- [3] Trust software technology in integrated avionics systems [J]. Hangkong Xuebao, 2009, 5 (938-945):
- [4] Software benefits avionics developers and systems engineers [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2005, 77 (02): : 184 - 184
- [5] Verification support for ARINC-653-based avionics software [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2011, 21 (04): : 267 - 298
- [6] Applying Software Patterns to Requirements Engineering for Avionics Systems [J]. 2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 25 - 30
- [8] Automated reuse support for design of embedded avionics systems [J]. 2001 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2001, : 2857 - 2862