Browse by Subject real-time software
Showing results 1 to 3 of 3
| A real-time discrete event system specification formalism for seamless real-time software development Hong, JS; Song, HS; Kim, Tag-Gon; Park, KH, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v.7, no.4, pp.355 - 375, 1997-10 |
| A systematic code verification approach for the properties of real-time software model = 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법link Hong, Gwang-Ui; 홍광의; et al, 한국과학기술원, 2014 |
| 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구 홍광의; 서동원; 지은경; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.12, pp.764 - 773, 2013-12 |
Discover
Type
Open Access
Date issued
- 34,238 2020 - 2024
- 100,102 2010 - 2019
- 75,680 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969