Results 1-3 of 3 (Search time: 0.005 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink 김태호; Kim, Tae-Ho; 차성덕; Cha, Sung-Deok, 한국과학기술원, 1997 | |
Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link Chun, Wang-Sung; 천왕성; Kwon, Yong-Rae; 권용래, 한국과학기술원, 1997 | |
객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specificationlink 백진욱; Baek, Jin-Wook; 배두환; Bae, Doo-Hwan, 한국과학기술원, 1997 |
Discover