한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2012년도 추계학술발표대회
- /
- Pages.1535-1538
- /
- 2012
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례
Case Study of Developing Functionally Correct Controllers using Formal Method
- 김태균 (경기대학교 컴퓨터과학과) ;
- 권기현 (경기대학교 컴퓨터과학과) ;
- 조지만 (소프트웨어진흥원 SW 공학센터) ;
- 정도균 (소프트웨어진흥원 SW 공학센터) ;
-
이상은
(소프트웨어진흥원 SW 공학센터)
- Kim, Taekyun (Dept. of Computer Science, Kyonggi University) ;
- Kwon, Gihwon (Dept. of Computer Science, Kyonggi University) ;
- Cho, Jiman (SW Engineering Center, National IT Industry Promotion Agency) ;
- Jung, Dokyun (SW Engineering Center, National IT Industry Promotion Agency) ;
-
Lee, Sangeun
(SW Engineering Center, National IT Industry Promotion Agency)
- 발행 : 2012.11.22