Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author 253

Showing results 1 to 1 of 1

1
Detecting common mode failures in N-version software using weakest precondition analysis

Yoon Gwang Sik; Cha, Sungdeok; Kwon, Yong Rae; Yoo Chan Hyoung, Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, pp.272-280, 1997-12-02

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0