| langue originale | Anglais |
|---|---|
| titre | Proceedings of the 8th workshop on Assurances for self-adaptive systems |
| Pages | 5-9 |
| Nombre de pages | 5 |
| Etat de la publication | Publié - 2011 |
Model checking Requirements at run-time in Adaptive Systems
Inverardi Paola, Marco Mori
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque