A distributed logic for Networked Cyber-Physical Systems.

Minyoung Kim Mark-Oliver Stehr Carolyn L. Talcott

Published in: Sci. Comput. Program. (2013)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
embedded systems
critical infrastructure
distributed environment
social networks
artificial intelligence
information systems
lightweight
intrusion detection