Reliable Software Technologies -- Ada-Europe 2012
Download or Read eBook Reliable Software Technologies -- Ada-Europe 2012 PDF written by Mats Brorsson and published by Springer. This book was released on 2012-06-07 with total page 233 pages. Available in PDF, EPUB and Kindle.
Author | : Mats Brorsson |
Publisher | : Springer |
Total Pages | : 233 |
Release | : 2012-06-07 |
ISBN-10 | : 9783642305986 |
ISBN-13 | : 3642305989 |
Rating | : 4/5 (86 Downloads) |
Book Synopsis Reliable Software Technologies -- Ada-Europe 2012 by : Mats Brorsson
Book excerpt: 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. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.