Login / Signup
An Integrated Development Environment for Prototyping Safety Critical Systems.
Jeffrey M. Thompson
Mats Per Erik Heimdahl
Published in:
IEEE International Workshop on Rapid System Prototyping (1999)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
nuclear power plant
agent architecture
safety analysis
adaptive systems
expert systems
management system
regulatory requirements
real time
open source
design process
monitoring system