Showing results 1 to 5 of 5
Coloured petri nets을 이용하는 안전성 분석 = Safety analysis using coloured petri netslink 조승모; Cho, Seung-Mo; et al, 한국과학기술원, 1996 |
Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification = NuSCR 요구 명세의 속성 기반 정리 증명과 템플릿 기반 고장 수목 분석link Kim, Tae-Ho; 김태호; et al, 한국과학기술원, 2005 |
Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 = Implementation of ANSI-C translator for analyzing C program using SPARK examinerlink 김진섭; Kim, Jin-Sup; et al, 한국과학기술원, 2002 |
Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink 장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999 |
Discover