Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
Ancona, Davide, Briola, Daniela, Ferrando, Angelo, Mascardi, Viviana, Di Napoli, Claudia, Rossi, SilviaVolume:
9
Language:
english
Journal:
Intelligenza Artificiale
DOI:
10.3233/IA-150084
Date:
December, 2015
File:
PDF, 158 KB
english, 2015