Modeling and Verification of Evolving Cyber-Physical Spaces.

Christos Tsigkanos Timo Kehrer Carlo Ghezzi

Published in: Software Engineering (2018)

Keyphrases

cyber physical
physical world
cyber physical systems
real time
artificial intelligence
data processing
situation awareness