A Case Study on the Formal Development of a Reactor Safety System.

Terje Sivertsen

Published in: FME (1996)

Keyphrases

case study
st century
nuclear power plant
artificial intelligence
software engineering
development process
formal model
development environment
real time
neural network
decision making
information processing
requirements engineering