Monografie

Timing model derivation : pipeline analyzer generation from hardware description languages

Sprache
Englisch
Umfang
XIV, 318 S.
Anmerkungen
Zugl.: Saarbrücken, Univ., Diss. 2012
ISBN
978-3-937436-40-1
Identifier
1027312071

Thema
Eingebettetes System ; Sicherheitskritisches System ; VHDL ; Statische Analyse ; Modelltransformation ; Programmlaufzeit ; Worst-Case-Laufzeit ; Abstrakte Interpretation ; Semantikerhaltende Transformation ; Formale Spezifikationstechnik ; VHDL ; Worst-Case-Laufzeit ; Sicherheitskritisches System ; Eingebettetes System ; Abstrakte Interpretation ; Statische Analyse; Hochschulschrift

Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
Letzte Aktualisierung
15.04.2024, 08:50 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)