Reliable Software Technologies - Ada-Europe 2017
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Published on 30. May 2017
Book
Paperback/Softback
XIV, 251 pages
978-3-319-60587-6 (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
Target group
Professional and scholarly
Illustrations
61 s/w Abbildungen
XIV, 251 p. 61 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
411 gr
ISBN-13
978-3-319-60587-6 (9783319605876)
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
E-Book
05/2017
Springer
€58.84
Available for download
Content
Runtimes.- Safety and security.- Timing verification.- Programming models.- The future of safety-minded languages.- Mixed criticality.