[기술해설]소프트웨어 공학적 실시간 시스템 명세를 이용한 가상 환경 구축

이지영 ,  김혜정 ,  강교철 외 1명

정보과학회지

1997 .11

추상 시간 기계를 기반으로 한 시간 명세와 분석

노경주 ,  박지연 ,  이문근

한국정보과학회 학술발표논문집

2000 .10

[기술해설]실시간 시스템 모형

김문희 ,  김정국 ,  민병준 외 1명

정보과학회지

1996 .08

실시간 객체를 위한 명세 및 분석 방법

윤태명 ,  임형택 ,  양승민

한국정보과학회 학술발표논문집

1995 .10

실시간 객체 지향 모델을 지원하기 위한 정형 명세

정유성 ,  최수진 ,  강인혜 외 1명

한국정보과학회 학술발표논문집

1999 .10

STSR의 실시간 내장형 시스템 명세

김진현 ,  최진영

한국정보과학회 학술발표논문집

2003 .04

[기술해설]실시간 시뮬레이션

박찬모 ,  민경하

정보과학회지

1995 .04

네트워크 시스템 명세를 위한 Z 기반 프레임워크

신지훈 ,  최진영

한국정보과학회 학술발표논문집

2011 .06

소프트웨어 요구명세와 설계 명세간의 부합성 검사

이수영 ,  김진현 ,  안영아 외 5명

한국정보과학회 학술발표논문집

2004 .10

[기술해설]원자력응용 실시간 제어시스템

차경호 ,  권기춘

정보과학회지

1996 .08

추상 시간 기계의 시간 명세

노경주 ,  박지연 ,  이문근

한국정보과학회 학술발표논문집

2000 .04

해설

한국주택협회

주택과 사람들

2000 .01

도시 교통관제 시스템의 정형 명세

김태호 ,  조승모 ,  차성덕 외 4명

한국정보과학회 학술발표논문집

1998 .04

실시간 모델 체커를 이용한 월성 SDS2의 명세 및 검증

지은경 ,  홍형석 ,  차성덕

한국정보과학회 학술발표논문집

2000 .10

RTO.k와 RTL을 이용한 실시간 시스템(무인자동차 시스템)의 정형적 명세

윤태명 ,  임형택 ,  양승민

한국정보과학회 학술발표논문집

1995 .04

대수명세의 구현과 증분식 테스팅

김규년 ,  우치수

한국정보과학회 학술발표논문집

1990 .10

정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계

신재승 ,  이금석

한국정보과학회 학술발표논문집

1992 .10

[기술해설]분석적 학습

이수원

정보과학회지

1995 .05

실시간 객체의 시간 명세 및 검증 기법

손혁수 ,  양승민

한국정보과학회 학술발표논문집

1998 .10

실시간 대규모 전력계통 해설기술(Ⅰ)

차승태 ,  신정훈 ,  김태균 외 1명

전기산업

2004 .01