Name: PROJ-II-SAVE

Code: 17-058-RC-24

Charge: MK,YB

Outline:

1) 연구명(국): 분산 이동 실시간 SW의 개발을 위한 시각 프로세스 대수 정형 기법 및 관련 시각화 도구 개발

2) 연구명(영): Development of a Visual Process Algebra and its Tools for Engineering Distributed Mobile Real-time Software

3) Period: 3 Years: 2015.6~2018.5

+ Abstract

+ Proposal/Plan

I. 1st Year [2015.6~2016.5]

II. 1st Year [2016.6~2017.5]

1) 

...

n) SAVE 실적등록