- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844021592
- Maße
-
21 cm, 267 g
- Umfang
-
166 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2013
- Erschienen in
-
Reports on communications and distributed systems ; Vol. 5
- Schlagwort
-
Verteiltes System
Testen
Bug
Fehlererkennung
Testmustergenerierung
Programmverifikation
Formale Methode
Drahtloses Sensorsystem
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:45 MEZ
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
- Sasnauskas, Raimondas
- Shaker
Entstanden
- 2013
Ähnliche Objekte (12)
Symbolic modeling and optimization of elastic multibody systems
Reports on distributed measurement systems
Automated management of distributed systems
Secure subscription management system for distributed platforms
Parallel computing with emphasis on distributed systems
Context aware applications in mobile distributed systems
Load management techniques in distributed heterogeneous systems
Symbolic methods applied to formal verification and synthesis in embedded systems design
A comparison of distributed and centralized database systems
Pre-emptive modeling of concurrent and distributed systems
Cryptographic protocols and algorithms for distributed multimedia systems
Object oriented design and architecture of distributed systems
Symbolic modeling and optimization of elastic multibody systems
Reports on distributed measurement systems
Automated management of distributed systems
Secure subscription management system for distributed platforms
Parallel computing with emphasis on distributed systems
Context aware applications in mobile distributed systems
Load management techniques in distributed heterogeneous systems
Symbolic methods applied to formal verification and synthesis in embedded systems design
A comparison of distributed and centralized database systems
Pre-emptive modeling of concurrent and distributed systems
Cryptographic protocols and algorithms for distributed multimedia systems
Object oriented design and architecture of distributed systems
Symbolic modeling and optimization of elastic multibody systems
Reports on distributed measurement systems
Automated management of distributed systems
Secure subscription management system for distributed platforms
Parallel computing with emphasis on distributed systems
Context aware applications in mobile distributed systems
Load management techniques in distributed heterogeneous systems
Symbolic methods applied to formal verification and synthesis in embedded systems design
A comparison of distributed and centralized database systems
Pre-emptive modeling of concurrent and distributed systems
Cryptographic protocols and algorithms for distributed multimedia systems