Task: tCARDMI 학습

Name: tCARDMI Study

Code: 16-20-RD-04

Charge: JS

Period: Begin:  Nov; 1st Wk

End: --

Phase: 1) Invoice

Description: Apply the timed properties of tCARDMi to d-Calculus.

Meetings/Minutes: 1) 1st week:

2)