Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with.
Axel HabermaierJohannes LeupolzWolfgang ReifPublished in: FMICS-AVoCS (2016)
Keyphrases
- safety critical
- formal analysis
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- nuclear power plant
- knowledge based systems
- model checking
- support systems
- agent architecture
- intelligent systems
- agent model
- object oriented
- cooperative
- information systems
- distributed systems
- software engineering
- management system
- data model
- learning environment