Hochschulschrift
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
ix, 161, VII Seiten
- Sprache
-
Deutsch
- Anmerkungen
-
Illustrationen, Diagramme
Julius-Maximilians-Universität Würzburg, Dissertation, 2017
- Schlagwort
-
Model Checking
Virtuelle Realität
Computerspiel
Nebenläufigkeit
- 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:04 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Entstanden
- [2017]
Ähnliche Objekte (12)
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Komponierbarkeit eingebetteter Echtzeitsysteme
Konsistenz
Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme und objektorientierter Entwurf
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen und Technik
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Komponierbarkeit eingebetteter Echtzeitsysteme
Konsistenz
Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme und objektorientierter Entwurf
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen und Technik
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Komponierbarkeit eingebetteter Echtzeitsysteme
Konsistenz
Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme und objektorientierter Entwurf
Echtzeitsysteme : Grundlagen der Planung