Showing results 1 to 2 of 2
Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성 최진호; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.2, pp.90 - 94, 2013-02 |
Discover