한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2006년도 추계학술발표대회
- /
- Pages.567-570
- /
- 2006
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Rhapsody Statecharts의 정형검증을 위한 변환 알고리즘 연구
A study on Rhapsody statecharts transformation for formal verification
- Hwang, Dae-Yon (Dept. of Computer Science and Engineering, Korea University) ;
- Park, Seung-Hyun (Dept. of Computer Science and Engineering, Korea University) ;
- Lee, Na-Young (Dept.of Nuclear Engineering, Seoul National University) ;
- Kim, Yun-Goo (Samchang Enterprise Co. Ltd,.) ;
- Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)
- 발행 : 2006.11.10