Download or read book Reliable Software Technologies Ada-Europe 2000 written by Hubertus B. Keller and published by Springer. This book was released on 2006-12-30 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.