Login / Signup
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems.
Johannes Kloos
Robert Eschbach
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
support systems
safety analysis
data sources
low cost
knowledge based systems
structured data
adaptive systems
data mining
expert systems
management system
case based reasoning
knowledge acquisition