共 50 条
- [21] High-integrity systems development for integrated modular avionics using VxWorks and GNAT [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 163 - 178
- [22] On Component-Based Development and High-Integrity Real-Time Systems [J]. 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 79 - 84
- [23] HIGH-INTEGRITY FERROUS CASTINGS FOR STEAM TURBINES - ASPECTS OF THEIR DEVELOPMENT AND MANUFACTURE. [J]. Materials Science and Technology, 1985, 1 (11): : 986 - 993
- [24] Ongoing requirements discovery in high-integrity systems [J]. IEEE SOFTWARE, 2004, 21 (02) : 19 - +
- [25] Rapid manufacturing of high-integrity aerospace components [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON FRONTIERS OF DESIGN AND MANUFACTURING, VOL 1, 2002, : 349 - 354
- [27] HIGH-INTEGRITY POLYETHYLENE DRUM DEVELOPMENT FOR LOW-LEVEL RADWASTE DISPOSAL [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1981, 39 : 156 - 157
- [28] Towards Agile Engineering of High-Integrity Systems [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 30 - +
- [29] High-integrity interfacing to programmable logic with Ada [J]. RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004, 2004, 3063 : 249 - 260