Cyber-physical specification mismatch identification with dynamic analysis.

Taylor T. Johnson Stanley Bak Steven Drager

Published in: ICCPS (2015)

Keyphrases

dynamic analysis
cyber physical
static analysis
reverse engineering
social networks
physical world
situation awareness
cyber physical systems
model checking
databases
source code
physical space
real time
open source
ubiquitous computing