High Assurance for Distributed Cyber Physical Systems.

Scott A. Hissam Sagar Chaki Gabriel A. Moreno

Published in: ECSA Workshops (2015)

Keyphrases

cyber physical systems
high assurance
distributed systems
cyber physical
fault tolerant
cyber security
physical world
distributed environment
multi agent
cooperative
operating system
mobile agents
social networks
software systems
peer to peer
open source
embedded systems
critical infrastructure
high speed
case study