Showing results 1 to 7 of 7
A formal software requirements specification method for digital nuclear plant protection system Yoo, J; Kim, T; Cha, Sungdeok; Lee, JS; Son, HS, JOURNAL OF SYSTEMS AND SOFTWARE, v.74, no.1, pp.73 - 83, 2005-01 |
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures Kim, Jin Hyun; Kang, Inhye; Kang, Sungwon; Boudjadar, Abdeldjalil, IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v.12, no.2, pp.655 - 671, 2016-04 |
Automated structural analysis of SCR-style software requirements specifications using PVS t.h. kim; Cha, Sungdeok, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.11, no.3, pp.143 - 163, 2001-09 |
Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012 |
HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
Java-MaC: A run-time assurance approach for Java programs Kim, Moonzoo; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03 |
Synthesis of function block diagrams software from NuSCR formal specification = NuSCR 정형명세로부터 function block diagrams의 생성link Yoo, Jun-Beom; 유준범; et al, 한국과학기술원, 2005 |
Discover