Showing results 1 to 4 of 4
Coloured petri nets을 이용하는 안전성 분석 = Safety analysis using coloured petri netslink 조승모; Cho, Seung-Mo; et al, 한국과학기술원, 1996 |
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