Reliable Software Technologies – Ada-Europe 2017

Reliable Software Technologies – Ada-Europe 2017
Author : Johann Blieberger
Publisher : Springer
Total Pages : 251
Release : 2017-05-27
ISBN 10 : 9783319605883
ISBN 13 : 3319605887
Language : EN, FR, DE, ES & NL

Reliable Software Technologies – Ada-Europe 2017 Book 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.

Reliable Software Technologies – Ada-Europe 2017
Language: en
Pages: 251
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2017-05-27 - Publisher: Springer

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn
Reliable Software Technologies – Ada-Europe 2018
Language: en
Pages: 175
Authors: António Casimiro
Categories: Computers
Type: BOOK - Published: 2018-06-11 - Publisher: Springer

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug
Handbook of Real-Time Computing
Language: en
Pages: 1511
Authors: Yu-Chu Tian
Categories: Technology & Engineering
Type: BOOK - Published: 2022-08-08 - Publisher: Springer Nature

The aim of this handbook is to summarize the recent rapidly developed real-time computing technologies, from theories to applications. This handbook benefits th
State-of-the-Art Sensors Technology in Spain 2017 Volume 1
Language: en
Pages: 402
Authors: Gonzalo Pajares Martinsanz
Categories: Technology & Engineering
Type: BOOK - Published: 2018-05-22 - Publisher: MDPI

This book is a printed edition of the Special Issue "State-of-the-Art Sensors Technology in Spain 2017" that was published in Sensors
Real-Time Systems Development with RTEMS and Multicore Processors
Language: en
Pages: 534
Authors: Gedare Bloom
Categories: Computers
Type: BOOK - Published: 2020-11-22 - Publisher: CRC Press

The proliferation of multicore processors in the embedded market for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) makes developing real-time embedd
Euro-Par 2017: Parallel Processing
Language: en
Pages: 725
Authors: Francisco F. Rivera
Categories: Computers
Type: BOOK - Published: 2017-08-18 - Publisher: Springer

This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela,
Proceedings of 6th International Conference in Software Engineering for Defence Applications
Language: en
Pages: 334
Authors: Paolo Ciancarini
Categories: Technology & Engineering
Type: BOOK - Published: 2019-03-18 - Publisher: Springer

This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of
ITNG 2022 19th International Conference on Information Technology-New Generations
Language: en
Pages:
Authors: Shahram Latifi
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

Model-Based Safety and Assessment
Language: en
Pages: 273
Authors: Marco Bozzano
Categories: Computers
Type: BOOK - Published: 2017-09-01 - Publisher: Springer

​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September
Game Theory and Machine Learning for Cyber Security
Language: en
Pages: 544
Authors: Charles A. Kamhoua
Categories: Technology & Engineering
Type: BOOK - Published: 2021-09-15 - Publisher: John Wiley & Sons

Move beyond the foundations of machine learning and game theory in cyber security to the latest research in this cutting-edge field In Game Theory and Machine L