Showing results 1 to 2 of 2
Automatic construction of timing diagrams from UML/MARTE behavioral models for real-time embedded software = 실시간 임베디드 소프트웨어를 위한 UML/MARTE 행위 모델로 부터의 타이밍 다이어그램 자동생성 기법link Nguyen, Minh Chau; Nguyen, Minh Chau; et al, 한국과학기술원, 2013 |
Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
Discover