共 50 条
[41]
Real-time distribution middleware from the Ada perspective
[J].
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008,
2008, 5026
:268-281
[45]
A toolsuite for testing analysis of real-time Ada applications
[J].
3RD IEEE SYMPOSIUM ON APPLICATION SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING TECHNOLOGY, PROCEEDINGS,
2000,
:65-69
[46]
Experiences using Ada in a real-time and distributed laboratory
[J].
ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS,
1999, 19 (03)
:145-155
[47]
REAL-TIME SOFTWARE ENGINEERING IN ADA - OBSERVATIONS AND RECOMMENDATIONS
[J].
TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT,
1989,
:554-569
[50]
A method for verifying real-time properties of Ada programs
[J].
SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS,
2001,
:35-43