Login / Signup
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