- Sprache
-
Englisch
- Umfang
-
166 S.
- Anmerkungen
-
Zugl.: Aachen, Techn. Hochsch., Diss., 2013
- ISBN
-
978-3-8440-2159-2
- Identifier
-
1037930886
- Reihe
-
Reports on communications and distributed systems; Vol. 5
Thema
Verteiltes System ; Testen ; Bug ; Fehlererkennung ; Testmustergenerierung ; Programmverifikation ; Formale Methode ; Drahtloses Sensorsystem ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:49 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Mechanisms, models, and tools for flexible protocol development and accurate network experimentation
Mechanisms, models and tools for flexible protocol development and accurate network experimentation
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Heterogeneity in distributed embedded systems : from programming paradigms to testing
Automated design of efficient fail-safe fault tolerance
Direct end-to-middle authentication in cooperative networks
Wireless embedded systems : time, location, and applications
Theoretical aspects of distributed computing in sensor networks
Stabilization, safety, and security of distributed systems : 8th international symposium ; proceedings
Stabilization, safety, and security of distributed systems : 11th international symposium ; proceedings
Resource-conscious network security for the IP-based internet of things
Stabilization, safety, and security of distributed systems : 10th international symposium ; proceedings
Mechanisms, models, and tools for flexible protocol development and accurate network experimentation
Mechanisms, models and tools for flexible protocol development and accurate network experimentation
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Heterogeneity in distributed embedded systems : from programming paradigms to testing
Automated design of efficient fail-safe fault tolerance
Direct end-to-middle authentication in cooperative networks
Wireless embedded systems : time, location, and applications
Theoretical aspects of distributed computing in sensor networks
Stabilization, safety, and security of distributed systems : 8th international symposium ; proceedings
Stabilization, safety, and security of distributed systems : 11th international symposium ; proceedings
Resource-conscious network security for the IP-based internet of things
Stabilization, safety, and security of distributed systems : 10th international symposium ; proceedings
Mechanisms, models, and tools for flexible protocol development and accurate network experimentation
Mechanisms, models and tools for flexible protocol development and accurate network experimentation
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Heterogeneity in distributed embedded systems : from programming paradigms to testing
Automated design of efficient fail-safe fault tolerance
Direct end-to-middle authentication in cooperative networks
Wireless embedded systems : time, location, and applications
Theoretical aspects of distributed computing in sensor networks
Stabilization, safety, and security of distributed systems : 8th international symposium ; proceedings
Stabilization, safety, and security of distributed systems : 11th international symposium ; proceedings
Resource-conscious network security for the IP-based internet of things