Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.

Carolyn L. Talcott Vivek Nigam Farhad Arbab Tobias Kappé

Published in: SFM (2016)

Keyphrases

formal specification
databases
data analysis
cyber physical systems
distributed systems
distributed environment
artificial intelligence
information systems
low cost
mobile agents
model checking
network traffic
risk analysis
object oriented design