Full Description
This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.



