dblp.uni-trier.de www.uni-trier.de

Ada-Europe 2005: York, UK

Tullio Vardanega, Andy J. Wellings (Eds.): Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Lecture Notes in Computer Science 3555 Springer 2005, ISBN 3-540-26286-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Applications

Design and Scheduling Issues

Formal Methods

Ada and Education

Certification and Verification

Distributed Systems

Language Issues

Ravenscar Technology

Copyright © Mon Nov 2 20:17:47 2009 by Michael Ley (ley@uni-trier.de)