C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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