|
1 |
모델 검증을 이용한 게임 풀이
권기현;
/
Korean Institute of Information Scientists and Engineers
, v.21, no.1, pp.7-14,
|
|
2 |
통합된 버그잡는 기술들 : SLAM과 Bandera
양홍석;이욱세;
/
Korean Institute of Information Scientists and Engineers
, v.21, no.1, pp.15-21,
|
|
3 |
함수형 프로그래밍 기술을 이용한 프로그램 합성 방법
변석우;도경구;정주희;배민오;
/
Korean Institute of Information Scientists and Engineers
, v.21, no.1, pp.22-28,
|
|
4 |
프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개
방기석;유희준;최진영;
/
Korean Institute of Information Scientists and Engineers
, v.21, no.1, pp.29-39,
|
|
5 |
스크립트 언어의 동향 및 응용 방안
김익순;
/
Korean Institute of Information Scientists and Engineers
, v.21, no.1, pp.40-43,
|
|