Formal analysis of event-driven cyber physical systems.

Jayaraj Poroor Bharat Jayaraman

Published in: SECURIT (2012)

Keyphrases

formal analysis
event driven
cyber physical systems
cyber physical
physical world
cyber security
embedded systems
agent model
critical infrastructure
ban logic
real time
formal methods
artificial intelligence
social networks
knowledge based systems
cost effective