Reliable Software Technologies – Ada-Europe 2016

Reliable Software Technologies – Ada-Europe 2016
Author :
Publisher : Springer
Total Pages : 217
Release :
ISBN-10 : 9783319390833
ISBN-13 : 331939083X
Rating : 4/5 (33 Downloads)

Book Synopsis Reliable Software Technologies – Ada-Europe 2016 by : Marko Bertogna

Download or read book Reliable Software Technologies – Ada-Europe 2016 written by Marko Bertogna and published by Springer. This book was released on 2016-05-30 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.


Reliable Software Technologies – Ada-Europe 2016 Related Books

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 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
Distributed Real-Time Architecture for Mixed-Criticality Systems
Language: en
Pages: 508
Authors: Hamidreza Ahmadian
Categories: Computers
Type: BOOK - Published: 2018-09-05 - Publisher: CRC Press

DOWNLOAD EBOOK

This book describes a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality coexist and
Inventive Communication and Computational Technologies
Language: en
Pages: 1391
Authors: G. Ranganathan
Categories: Technology & Engineering
Type: BOOK - Published: 2020-01-29 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book gathers selected papers presented at the Inventive Communication and Computational Technologies conference (ICICCT 2019), held on 29–30 April 2019 a