A RIGOROUS APPROACH TO NUCLEAR REACTOR SAFETY ANALYSES
IAF Space Power Symposium ; 2019 ; Washington, DC
2020
Conference paper
English
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
British Library Conference Proceedings | 2017
|Problems of safety of marine nuclear reactor
Engineering Index Backfile | 1960
|Towards a rigorous approach to artificial dissipation
AIAA | 1989
|RETRAN safety analyses of the nuclear-powered ship Mutsu
Tema Archive | 1983
|Safety Analysis Method Study of Space Nuclear Reactor
British Library Conference Proceedings | 2013
|