Software safety analysis of digital protection system requirements using a qualitative formal method

Jang Soo Lee, Kee Choon Kwon, Sung Deok Cha

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Software safety analysis of digital protection system requirements using a qualitative formal method'. Together they form a unique fingerprint.

Physics & Astronomy

Engineering & Materials Science