Migrating Large Applications from Ada83 to Ada95
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
European air traffic flow management: porting a large application to GNU/linux
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Hi-index | 0.00 |