Application of algebraic specification to verify the design of safety logic in nuclear power plants

Akira Fukumoto*, Toshifumi Hayashi, Akihiko Ohsuga, Shinichi Honiden, Nobuyuki Mori

*この研究の対応する著者

研究成果: Article査読

フィンガープリント

「Application of algebraic specification to verify the design of safety logic in nuclear power plants」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Physics & Astronomy

Engineering & Materials Science