Reliable Software Technologies - Ada-Europe 2017
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Published on 27. May 2017
XIV, 251 pages
978-3-319-60588-3 (ISBN)
Description
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.
The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.
More details
Series
Edition
1st ed. 2017
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XIV, 251 p. 61 illus.
File size
12,87 MB
ISBN-13
978-3-319-60588-3 (9783319605883)
DOI
10.1007/978-3-319-60588-3
Schweitzer Classification
Other editions
Additional editions
Johann Blieberger | Markus Bader
Reliable Software Technologies - Ada-Europe 2017
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Book
05/2017
Springer
€58.84
Shipment within 10-15 days
Content
Runtimes.- Safety and security.- Timing verification.- Programming models.- The future of safety-minded languages.- Mixed criticality.
