ARTEMIS Project MBAT: combined model-based analysis and testing of embedded systems : Abschlussbericht

ARTEMIS Project MBAT: combined model-based analysis and testing of embedded systems Abschlussbericht

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: OFFIS (Herausgebendes Organ)
Weitere Verfasser: Siegel, Michael (MitwirkendeR)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Oldenburg (Oldb) OFFIS e.V. 2015
Schlagworte:
Forschungsbericht > Sicherheitskritisches System > Eingebettetes System > Validierung > Verifikation
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Förderkennzeichen BMBF 01IS11003A-01IS11003H - 01IS11003K - 01IS11003L. - Verbund-Nummer 01089105
Veröffentlichkeitsangabe aus dem Briefwechsel ermittelt
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Beschreibung:50 Seiten
Illustrationen, Diagramme