共 50 条
- [31] Hardware synthesis from C/C++ models DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 382 - 383
- [36] C++: C++ in the classroom: a look forward Journal of Object-Oriented Programming, 1997, 10 (01):
- [39] THE C++ STANDARD LIBRARY - AN EXTENSIBLE COLLECTION OF SOFTWARE COMPONENTS DR DOBBS JOURNAL, 1995, 20 (08): : 111 - 113
- [40] Verification of C++ flight software with the MCP model checker 2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 3358 - 3366