A CSP-based framework for the specification, verification, and implementation of adaptive systems.
Saved in:
| Title: | A CSP-based framework for the specification, verification, and implementation of adaptive systems. |
|---|---|
| Authors: | Bartels, Björn, Kleine, Moritz |
| Source: | ICSE: International Conference on Software Engineering; 2011, p158-167, 10p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
