Reliable software technologies -- Ada-Europe 2013: 18th Ada-Europe international conference on reliable software technologies, Berlin, Germany, June 10-14 2013 : proceedings

Reliable software technologies -- Ada-Europe 2013: 18th Ada-Europe international conference on reliable software technologies, Berlin, Germany, June 10-14 2013 : proceedings

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Keller, Hubert B, Plodereder, Erhard, Dencker, Peter, Klenk, Herbert
Format: Buch
Sprache:eng
Schlagworte:
Ada (Computer program language)
Computer software
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.