Proceedings of the 2005 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 '05
2002 ◽
2003 ◽
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):