4-목-2016-11-10-회의내용기록001.jpg

4-목-2016-11-10-회의내용기록002.jpg

===========================================


[MK] Included: (6)


1) Board Snapshot (1)

2) [MK] SRL/D Preliminary Definitions: Syntax, D, EM, GTS (4)

3) [MK] SRL Format: Text, Graph; Declaration, Execution (4)

4) [SH] d-Calculus: Textual Represenation (1)

5) [SH] IoT Manual

6) [MR] Foundamentals of Logic (1)