Showing results 1 to 1 of 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