| 27 |
[2018-02-14][BOC+OMiLAB] Strategic Meetings (Day 2)
|
moonkun |
2018-04-03 |
1790 |
| 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 |
49 |
| 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]
 |
moonkun |
2017-02-25 |
1 |
| 14 |
[2017-01-23~27] [BZEN] BOC ADONIS Training & Negotiation
3
 |
moonkun |
2017-02-25 |
1211 |
| 13 |
[2017-01-04] [BZEN][J] Weekly
|
moonkun |
2017-02-25 |
|
 |
[2016-12-05] [BZEN][J] Preliminary (1)
|
moonkun |
2017-02-25 |
2 |
| 11 |
[2016-12-16] [BZEN][S][G-I] Braining Storming (2) [DKO, THK]
|
moonkun |
2017-02-25 |
|
| 10 |
[2016-12-09] [BZEN][S][G-I] Braining Storming (1) [DKO]
|
moonkun |
2017-02-25 |
1 |
| 9 |
[2016-11-07] [BZEN][J] Kickoff Meeting
|
moonkun |
2017-02-25 |
1 |
| 8 |
[2016-08-27] Roadmap 2016~2017 [w/ Prof. K]
|
moonkun |
2017-02-25 |
2 |
