Jihun Kim, Moon‐Ghu Park (2020)
Formal development of an operation monitoring and control system for nuclear reactors using Event‐B method.
International Journal of Energy Research44: 8170.
DOI: 10.1002/er.5262
Subscribe to email alerts for current Article's categories