Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 99901 von 353857


Link zu diesem Datensatz	https://d-nb.info/1215098375
Titel	Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen / Bernard Schmidt ; Betreuer: Wolfgang Kunz
Person(en)	Schmidt, Bernard (Verfasser) Kunz, Wolfgang (Akademischer Betreuer)
Verlag	Kaiserslautern : Technische Universität Kaiserslautern
Zeitliche Einordnung	Erscheinungsdatum: 2020
Umfang/Format	Online-Ressource (pdf)
Hochschulschrift	Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2020
Persistent Identifier	URN: urn:nbn:de:hbz:386-kluedo-60296
URL	https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/6029 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Deutsch (ger)
Schlagwörter	Programmverifikation* ; Programmablauf* ; Kontrollflussdiagramm* ; Befehlsanordnung* ; Formale Methode* ; Hardware* ; Software* ; Eingebettetes System* ; Verifikation* ; Programm* (*maschinell ermittelt)
DDC-Notation	004.2 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 99901 von 353857

Korrekturanfrage