Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Computer related risks
Code analysis of saftey-critical and real-time software using ASIS
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Hi-index | 0.00 |