Proceedings PROC-2005-03

BibliographyKeller, Hubert B. (ed); Dencker, Peter (ed); Plödereder, Erhard (ed); Klenk, Herbert (ed); Tonndorf, Michael (ed): Zuverlässigkeit in eingebetteten Systemen Ada Deutschland Tagung 2005.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
Softwaretechnik, 100 pages, german.
Aachen: Shaker Verlag, October 2005.
ISBN: 3-8322-4522-7.
Proceedings.
CR-SchemaD.2.4 (Software Engineering Software/Program Verification)
D.4.5 (Operating Systems Reliability)
D.4.7 (Operating Systems Organization and Design)
KeywordsSoftwaretechnik; Informationstechnik; Automatisierungstechnik; Eingebettete Systeme; Zuverlässigkeit; Sicherheit; Ada; embedded systems
Abstract

Tagungsband

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Entry dateJune 30, 2010
   Publ. Institute   Publ. Computer Science