Hochschulschrift
Establishing sufficient temporal independence efficiently : a monitoring approach
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783954048014
- Maße
-
21 cm
- Umfang
-
202 S.
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Braunschweig, Techn. Univ., Diss., 2014
- Schlagwort
-
Sicherheitskritisches System
Eingebettetes System
Echtzeitsystem
Systemanalyse
Zeitverhalten
Worst-Case-Laufzeit
Fehleranalyse
Fehlerverhütung
Spezifikationstechnik
Verifikation
- 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:11 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
- Neukirchner, Moritz
- Cuvillier
Entstanden
- 2014
Ähnliche Objekte (12)
Querying and Efficiently Searching Large, Temporal Text Corpora
Sufficient
Pricing energy efficiently
Sufficient Statistics
Efficiently synchronizing multidimensional schema data
Is a Central Sediment Sample Sufficient? : Exploring Spatial and Temporal Microbial Diversity in a Small Lake
I/O-efficiently pruning dense spanners
Efficiently identifying top k similar entities
How to find long paths efficiently
Efficiently indexing high dimensional data spaces
SAX2 : [processing XML efficiently with Java]
Establishing alternative sets
Querying and Efficiently Searching Large, Temporal Text Corpora
Sufficient
Pricing energy efficiently
Sufficient Statistics
Efficiently synchronizing multidimensional schema data
Is a Central Sediment Sample Sufficient? : Exploring Spatial and Temporal Microbial Diversity in a Small Lake
I/O-efficiently pruning dense spanners
Efficiently identifying top k similar entities
How to find long paths efficiently
Efficiently indexing high dimensional data spaces
SAX2 : [processing XML efficiently with Java]
Establishing alternative sets
Querying and Efficiently Searching Large, Temporal Text Corpora
Sufficient
Pricing energy efficiently
Sufficient Statistics
Efficiently synchronizing multidimensional schema data
Is a Central Sediment Sample Sufficient? : Exploring Spatial and Temporal Microbial Diversity in a Small Lake
I/O-efficiently pruning dense spanners
Efficiently identifying top k similar entities
How to find long paths efficiently
Efficiently indexing high dimensional data spaces
SAX2 : [processing XML efficiently with Java]