C-Interpreter를 이용한 이산 사건 시스템 형식론 기반 시뮬레이션 모델 개발 지원 방법

김윤종 ,  나기현 ,  최창범

한국경영과학회 학술대회논문집

2015 .04

속성 버젼화에 기반한 시간지원 객체지향 모델의 형식화 ( The Formalization of a Temporal Object Oriented Model Based on an Attribute versioning )

이홍로 ,  김삼남 ,  류근호

한국데이타베이스학회 국제 학술대회

1997 .10

Verifying Little's Law on Discrete Event Simulation

김승환 ,  Pete ,  Michael Schmidt

한국경영과학회 학술대회논문집

1999 .01

형식의 틀에서 감성을 풀어주자

김정

초등우리교육

1996 .07

역사수업 도구로서 내러티브의 구성형식과 원리

김한종

사회과교육학연구

1999 .02

A Review on Scheduling Discrete Event Systems and Cluster Tools

Tae-Eog Lee

한국경영과학회 학술대회논문집

2011 .05

자연수의 나눗셈에 관한 초등학교 학생의 비형식적 지식

박현미 ,  강완

한국초등수학교육학회지

2006 .01

형사절차에서 보호적 형식 - 하나의 낡은 모델?

군나 두트게 ,  김성은

형사정책연구

2009 .12

원격대학 성인학습자의 비형식교육 참여 특성 분석

이은경 ,  양은아

평생학습사회

2017 .11

형식 교육과 비형식 학습 경험을 통합한 스마트 프로젝트학습 활동 개발 및 적용

조미헌 ,  허희옥 ,  강의성 외 3명

정보교육학회논문지

2013 .01

지식획득 및 표현도구로써 개념매핑기법 활용에 관한 연구

김성희

정보관리학회지

1999 .01

지식베이스 시스템과 형식 방법을 이용한 효과적인 인적자원 관리 ( Effective Human Resource Management Through Knowledge Based Systems and Formal Methods )

서의호 ,  변대호

경영과학

1993 .09

Discrete Choice Model

전명진

학술대회 발표논문집

2014 .12