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


4) [MK] Included: (2)


+ Abstract

+ Proposal/Plan


I. 1st Year [2015.6~2016.5]



II. 1st Year [2016.6~2017.5]


1) 


...


n) SAVE 실적등록