Proceedings PROC-2013-01

BibliographyKeller, Hubert B. (ed); Plödereder, Erhard (ed); Dencker, Peter (ed); Klenk, Herbert (ed): Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference, Berlin, Germany, June 10 - 14, 2013.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
Lecture Notes in Computer Science (LNCS); 7896, 177 pages, english.
Springer, June 2013.
Proceedings.
CR-SchemaD.2 (Software Engineering)
Keywordsmiddleware; nondeterminism; parallelism; safty critical systems; software reliability
Abstract

Proceedings

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
University of Stuttgart, Institute of Software Technology
Entry dateJanuary 8, 2014
   Publ. Institute   Publ. Computer Science