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...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Altri autori: Keller, Hubert B. (Direttore editoriale), Plödereder, Erhard (Direttore editoriale), Dencker, Peter (Direttore editoriale), Klenk, Herbert (Direttore editoriale)
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: Berlin, Heidelberg : Springer Berlin Heidelberg [20..].
Cham : Springer Nature
Edizione:1st ed. 2013.
Serie:Programming and Software Engineering 7896
Accesso online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Reliable Software Technologies Ada-Europe 2013, Texte imprimé, 9783642386008
• Reliable Software Technologies -- Ada-Europe 2013, Texte imprimé, 9783642386022
Sommario:
  • multi-core and distributed systems Ada and Spark dependability.-real-time systems