Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jang-Soo Lee
Institutions:
Korea Atomic Energy Research Institute,
Konkuk University
Observed institutions:
Korea Atomic Energy Research Institute,
Konkuk University
OpenAlex ID:
A5111486772
Fault tree construction of hybrid system requirements using qualitative formal method
2004
·
Jang-Soo Lee
, Sung-Deok Cha
·
Reliability Engineering & System Safety
·
16
A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System
2013
·
Jong-Hoon Lee
, Eui-Sub Kim
, et al.
·
IFAC Proceedings Volumes
·
4
Software Safety Analysis of Digital Protection System Requirements Using a Qualitative Formal Method
2004
·
Jang-Soo Lee
, Kee-Choon Kwon
, et al.
·
Nuclear Technology
·
2
Behavior verification of hybrid real-time requirements by qualitative formalism
2002
·
Jang-Soo Lee
, Sung-Deok Cha
·
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
·
1
Show more works
View as search
Works count:
4
Citation count:
23
H-index:
2
I10-index:
1
Year
Topic
Type
