Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.
Saved in:
| Title: | Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. |
|---|---|
| Authors: | Ancona, Davide1 davide.ancona@unige.it, Briola, Daniela1, Ferrando, Angelo1, Mascardi, Viviana1 |
| Source: | Intelligenza Artificiale. 2015, Vol. 9 Issue 2, p131-148. 18p. |
| Database: | Academic Search Ultimate |
| ISSN: | 17248035 |
|---|---|
| DOI: | 10.3233/IA-150084 |