共 50 条
- [41] Experiences using Ada in a real-time and distributed laboratory ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 145 - 155
- [42] REAL-TIME SOFTWARE ENGINEERING IN ADA - OBSERVATIONS AND RECOMMENDATIONS TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 554 - 569
- [44] A method for verifying real-time properties of Ada programs SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 35 - 43
- [47] DESIGN AND CHECKING OF A LARGE ADA REAL-TIME SYSTEM NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1990, 293 (1-2): : 373 - 376
- [48] Real-time distribution middleware from the Ada perspective RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 268 - 281