机译:网络物理系统的自适应分布式监测空间特性
Dipartimento di Informatica University of Turin Turin Italy;
DISI Alma Mater Studiorum - Universita di Bologna Cesena Italy;
Dipartimento di Informatica University of Turin Turin Italy;
Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway;
DISI Alma Mater Studiorum - Universita di Bologna Cesena Italy;
Spatial logics; Runtime verification; Self-adaptive systems; Field calculus;