elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Formale Verifikation von Softwaremodulen eingebetteter Echtzeitsysteme

Maibaum, O. (2001) Formale Verifikation von Softwaremodulen eingebetteter Echtzeitsysteme. SISTEC-Workshop, Köln, 06.11.2001.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.


Dokumentart:Konferenzbeitrag (Vortrag)
Zusätzliche Informationen: LIDO-Berichtsjahr=2002,
Titel:Formale Verifikation von Softwaremodulen eingebetteter Echtzeitsysteme
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Maibaum, O.NICHT SPEZIFIZIERT
Datum:2001
Seitenbereich:Seiten 1-13
Status:veröffentlicht
Stichwörter:Echtzeitsysteme
Veranstaltungstitel:SISTEC-Workshop, Köln, 06.11.2001
Veranstalter :SISTEC
HGF - Forschungsbereich:keine Zuordnung
HGF - Programm:NICHT SPEZIFIZIERT
HGF - Programmthema:NICHT SPEZIFIZIERT
DLR - Schwerpunkt:keine Zuordnung
DLR - Forschungsgebiet:NICHT SPEZIFIZIERT
DLR - Teilgebiet (Projekt, Vorhaben):NICHT SPEZIFIZIERT
Standort: Köln-Porz
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Hinterlegt von: elib DLR-Beauftragter
Hinterlegt am:16 Sep 2005
Letzte Änderung:14 Jan 2010 18:48

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.