共 50 条
- [24] Analytic verification of flight software IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1998, 13 (05): : 45 - 49
- [28] Fingerprint identification software for forensic applications ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 299 - 302
- [29] A core flight software system 2005 International Conference on Hardware/Software Codesign and System Synthesis, 2005, : 13 - 14