Sicherheitsgarantien unter Realzeitanforderungen Abschlussbericht des DFKI ; Laufzeit: 1. Mai 2006 - 30. April 2009

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Krauß, Christopher (VerfasserIn)
Weitere Verfasser:	Nonnengart, Andreas (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Saarbrücken DFKI 2009
Schlagworte:	Forschungsbericht > Eingebettetes System > Sicherheitskritisches System > Echtzeitverarbeitung > Programmverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Förderkennzeichen BMBF 01 IS F16 B. - Verbund-Nr. 01049950 Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Auch als elektronische Ressource vorh
Beschreibung:	18 S. graph. Darst.