검색결과 : 1건
No. | Article |
---|---|
1 |
Formal development of an operation monitoring and control system for nuclear reactors using Event-B method Kim J, Park MG International Journal of Energy Research, 44(10), 8170, 2020 |
No. | Article |
---|---|
1 |
Formal development of an operation monitoring and control system for nuclear reactors using Event-B method Kim J, Park MG International Journal of Energy Research, 44(10), 8170, 2020 |