共 50 条
- [34] Ada 95 as implementation vehicle for formal specifications THIRD INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1996, : 98 - 105
- [36] Charles: A data structure library for Ada95 RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 271 - 282
- [39] Static dependency analysis for concurrent Ada 95 programs RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 219 - 230