Component-Based Modeling and Verification of Dynamic Adaptation in Safety-Critical Embedded Systems.
Saved in:
| Title: | Component-Based Modeling and Verification of Dynamic Adaptation in Safety-Critical Embedded Systems. |
|---|---|
| Authors: | ADLER, RASMUS, SCHAEFER, INA, TRAPP, MARIO, POETZSCH-HEFFTER, ARND |
| Source: | ACM Transactions on Embedded Computing Systems; Dec2010, Vol. 10 Issue 2, p20-20-39, 39p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15399087 |
|---|---|
| DOI: | 10.1145/1880050.1880056 |
