Old Web
English
Sign In
Acemap
>
Paper
>
Activities of Working Group on verification of PASCAL. Fiscal years 2016 and 2017
Activities of Working Group on verification of PASCAL. Fiscal years 2016 and 2017
2020
Yinsheng Li
Takatoshi Hirota
Yu Itabashi
Masato Yamamoto
Yasuhiro Kanto
Masahide Suzuki
Yuhei Miyamoto
Keywords:
probabilistic estimation
calculation methods
Pascal (programming language)
reactor safety
Political science
Accounting
Group (mathematics)
nuclear facilities
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]