You cannot see this page without javascript.

Language
한국어
번호
제목
글쓴이
27 [2018-02-14][BOC+OMiLAB] Strategic Meetings (Day 2)
moonkun
2018-04-03 1789
26 [2018-02-13][BOC+OMiLAB] Strategic Meetings (Day 1)
moonkun
2018-04-03 11
25 [2018-02-10] Business Trip to U.of Kyoto, Prof. Karagiannis & Prof. Hara
moonkun
2018-04-03 5
24 [2017-08-11] [Book] Formal Methods (published by CBNU Press)
moonkun
2018-04-03 16
23 [2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
moonkun
2018-04-03 16
22 [2017-07-06] ADONIS/PP-II-B/KSA/CC: Demo Meeting
moonkun
2018-04-03 1813
21 [2017-05-16] [ADONIS/PP-1] ADONIS/KOR/KTC/KTC/CCR/V1.0 Installation
moonkun
2018-04-03 1814
20 [2017-05-15] KAI, Invited Lecture
moonkun
2018-04-03 1785
19 [2017-04-18] ADONIS/PPI/KTC - ADONIS/K/KTC/CL/V1.0 Demo
moonkun
2018-04-03 2
18 [2017-03-31] BOC Berlin, Technical Discussion for the KTC Solutions with ADONIS
moonkun
2018-04-03 30
17 [2017-02-28] ADONIS/PPI/KTL - Preliminary Meeting
moonkun
2018-04-03 48
16 [2017-02-03] [BZEN][MK] BZEN Homepage V1.0 Alpha Test Version 1
moonkun
2017-05-10 4344
15 [2017-02-03] [BZEN][S][G-VI] Braining Storming [DJJ; DSC] secret
moonkun
2017-02-25 1
14 [2017-01-23~27] [BZEN] BOC ADONIS Training & Negotiation 3 file
moonkun
2017-02-25 1211
13 [2017-01-04] [BZEN][J] Weekly secret
moonkun
2017-02-25  
12 [2016-12-05] [BZEN][J] Preliminary (1) secret
moonkun
2017-02-25 2
11 [2016-12-16] [BZEN][S][G-I] Braining Storming (2) [DKO, THK] secret
moonkun
2017-02-25  
10 [2016-12-09] [BZEN][S][G-I] Braining Storming (1) [DKO] secret
moonkun
2017-02-25 1
9 [2016-11-07] [BZEN][J] Kickoff Meeting secret
moonkun
2017-02-25 1
8 [2016-08-27] Roadmap 2016~2017 [w/ Prof. K] secret
moonkun
2017-02-25 2