Proceedings of the 2002 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '02
2003 ◽
2005 ◽
2004 ◽
1992 ◽
Vol 41
(3)
◽
pp. 352-362
◽
2004 ◽
Vol 50
(10)
◽
pp. 607-621
◽
1991 ◽
Vol 31
(1-5)
◽
pp. 113-116
Keyword(s):