| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 8th workshop on Assurances for self-adaptive systems |
| Pages | 5-9 |
| Number of pages | 5 |
| Publication status | Published - 2011 |
Model checking Requirements at run-time in Adaptive Systems
Inverardi Paola, Marco Mori
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution