Modeling and Verifying Dynamic Evolving Service-Oriented Architectures
- ISBN-10
- 3869562463
- ISBN-13
- 9783869562469
- Pages
- 102
- Language
- English
- Published
- 2013-08-15
- Publisher
- Universitätsverlag Potsdam
- Authors
- Basil, Giese, Holger
Description
... Stores Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software Scalable Compatibility for Embedded Real-Time components via Language Progressive Timed Automata Cyber-Physical Systems with Dynamic Structure: Towards ...
