Katalog der Deutschen Nationalbibliothek

Neuigkeiten Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek Leipzig öffnen am Mittwoch, den 11.12. wegen einer Personalversammlung erst ab 13 Uhr // The reading rooms of the German National Library in Leipzig will only open at 13:00 on Wednesday 11 December due to a staff assembly
 
 

Ergebnis der Suche nach: idn=987249894



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/987249894
Art des Inhalts Hochschulschrift
Titel Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme / Jürgen Greifeneder
Person(en) Greifeneder, Jürgen (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2007
Umfang/Format Online-Ressource, ca. 1,4 MB
Hochschulschrift Kaiserslautern, Techn. Univ., Diss., 2007
Persistent Identifier URN: urn:nbn:de:hbz:386-kluedo-21542
URL http://kluedo.ub.uni-kl.de/volltexte/2007/2154/pdf/Diss-Greifeneder-V5.pdf (Verlag) (kostenfrei zugänglich)
http://kluedo.ub.uni-kl.de/volltexte/2007/2154/index.html (Verlag)
Sprache(n) Deutsch (ger)
Schlagwörter Automatisierungssystem ; Rechnernetz ; Zeitverhalten ; Model Checking ; Zeitbehafteter Automat ; Beschreibungssprache
DDC-Notation 629.89 [DDC22ger]
Sachgruppe(n) 620 Ingenieurwissenschaften und Maschinenbau

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration