Reliable Software Technologies – Ada-Europe 2014

Reliable Software Technologies – Ada-Europe 2014
Author :
Publisher : Springer
Total Pages : 205
Release :
ISBN-10 : 9783319083117
ISBN-13 : 3319083112
Rating : 4/5 (17 Downloads)

Book Synopsis Reliable Software Technologies – Ada-Europe 2014 by : Laurent George

Download or read book Reliable Software Technologies – Ada-Europe 2014 written by Laurent George and published by Springer. This book was released on 2014-06-10 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.


Reliable Software Technologies – Ada-Europe 2014 Related Books

Reliable Software Technologies – Ada-Europe 2014
Language: en
Pages: 205
Authors: Laurent George
Categories: Computers
Type: BOOK - Published: 2014-06-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris
Reliable Software Technologies – Ada-Europe 2016
Language: en
Pages: 217
Authors: Marko Bertogna
Categories: Computers
Type: BOOK - Published: 2016-05-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa,
Reliable Software Technologies – Ada-Europe 2018
Language: en
Pages: 179
Authors: António Casimiro
Categories: Computers
Type: BOOK - Published: 2018-06-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug
Reliable Software Technologies – Ada-Europe 2015
Language: en
Pages: 237
Authors: Juan Antonio de la Puente
Categories: Computers
Type: BOOK - Published: 2015-06-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madri
Reliable Software Technologies – Ada-Europe 2017
Language: en
Pages: 255
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2017-05-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn