Compositional verification of self-adaptive cyber-physical systems.

Aimee Borda Liliana Pasquale Vasileios Koutavas Bashar Nuseibeh

Published in: SEAMS@ICSE (2018)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
embedded systems
artificial intelligence
social networks
real time
low cost
distributed databases