Opening up the Verification and Validation of Safety-Critical Software.
Hardi HungarMarc BehrensPublished in: Software Engineering (Workshops) (2013)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- fault tolerant
- embedded systems
- agent architecture
- model checking
- support systems
- regulatory requirements
- artificial intelligence
- formal verification
- formal specification
- knowledge based systems
- adaptive systems
- user interface
- cooperative
- software intensive systems
- e learning