Showing results 1 to 1 of 1
Formal development of an operation monitoring and control system for nuclear reactors using Event-B method Kim, Jihun; Park, Moon-Ghu, INTERNATIONAL JOURNAL OF ENERGY RESEARCH, v.44, no.10, pp.8170 - 8180, 2020-08 |
Discover