- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844021592
- Dimensions
-
21 cm, 267 g
- Extent
-
166 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2013
- Bibliographic citation
-
Reports on communications and distributed systems ; Vol. 5
- Keyword
-
Verteiltes System
Testen
Bug
Fehlererkennung
Testmustergenerierung
Programmverifikation
Formale Methode
Drahtloses Sensorsystem
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:45 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Sasnauskas, Raimondas
- Shaker
Time of origin
- 2013
Other Objects (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