Browse by Subject formal specification
Showing results 5 to 7 of 7
| 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
Type
Open Access
Date issued
- 1 2040 - 2041
- 31,619 2020 - 2029
- 100,003 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 1,633 1970 - 1979
- 62 1964 - 1969