Hochschulschrift

Symbolic methods applied to formal verification and synthesis in embedded systems design

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783826571930
3826571932
Maße
21 cm
Umfang
X, 158 S.
Ausgabe
Als Ms. gedr.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Zugl.: Zürich, Techn. Hochsch., Diss., 2000

Erschienen in
TIK-Schriftenreihe / Eidgenössische Technische Hochschule Zürich ; Nr. 36

Schlagwort
Eingebettetes System
Systementwurf
Verifikation
Formale Spezifikationstechnik
Echtzeitverarbeitung
Entscheidungsgraph
Eingebettetes System
Systementwurf
Verifikation
Formale Spezifikationstechnik
Model Checking
Entscheidungsgraph
Eingebettetes System
Systementwurf
Datenfluss
Kontrollfluss
Scheduling
Entscheidungsgraph

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Shaker
(wann)
2000
Urheber
Strehl, Karsten

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:06 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

  • Strehl, Karsten
  • Shaker

Entstanden

  • 2000

Ähnliche Objekte (12)