Results 1-1 of 1 (Search time: 0.002 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 |
Discover