Login / Signup
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.
Heather Goldsby
Betty H. C. Cheng
Sascha Konrad
Stephane Kamdoum
Published in:
MoDELS (2006)
Keyphrases
</>
formal analysis
high assurance
formal methods
data analysis
modeling framework
expert systems
software systems
computer systems
multi agent
cooperative
artificial intelligence
distributed systems
low cost
complex systems
fault tolerant
information technology
multi agent systems