A Concept of Modeling PVC Batch Plant in Object Oriented Approach for Safety Analysis.

Datu Rizal Asral Kazuhiko Suzuki

Published in: IEA/AIE (2003)

Keyphrases

safety analysis
nuclear power plant
control system
low cost
safety critical
symbolic model checking
real time
artificial intelligence
e learning
source code
learning systems