한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2016년도 춘계학술발표대회
- /
- Pages.522-525
- /
- 2016
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
GR(1) 명세로부터 제어기를 합성하는 사례 연구
Case Study on Synthesizing Controller from GR(1) Specification
- Im, Hae Min (Dept of Computer Science, Kyonggi University) ;
- Kwon, Gihwon (Dept of Computer Science, Kyonggi University)
- 발행 : 2016.04.29