Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Ergebnis der Suche nach: idn=989524019

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/989524019
Art des Inhalts	Hochschulschrift
Titel	A formal fault model for component based models of embedded systems / von Marco Fischer
Person(en)	Fischer, Marco (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2006
Umfang/Format	Online-Ressource, ca. 1,4 MB
Hochschulschrift	Chemnitz, Techn. Univ., Diss., 2006
Persistent Identifier	URN: urn:nbn:de:swb:ch1-200700662
URL	http://archiv.tu-chemnitz.de/pub/2007/0066/data/Band4.pdf (Verlag) (kostenfrei zugänglich) http://archiv.tu-chemnitz.de/pub/2007/0066 (Verlag)
Sprache(n)	Englisch (eng)
Schlagwörter	Eingebettetes System ; Mehrprozessorsystem ; Fehlermodell ; Pi-Kalkül ; Model Checking ; Bisimulation
DDC-Notation	004.21 [DDC22ger]
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration