| 29 |
[2018-02-16][BOC+OMiLAB] Strategic Meetings (Day 4)
|
moonkun |
2018-04-03 |
134 |
| 28 |
[2018-02-15][BOC+OMiLAB] Strategic Meetings (Day 3)
|
moonkun |
2018-04-03 |
3 |
| 27 |
[2018-02-14][BOC+OMiLAB] Strategic Meetings (Day 2)
|
moonkun |
2018-04-03 |
164 |
| 26 |
[2018-02-13][BOC+OMiLAB] Strategic Meetings (Day 1)
|
moonkun |
2018-04-03 |
7 |
| 25 |
[2018-02-10] Businss Trip to U.of Kyoto, Prof. Karagiannis & Prof. Hara
|
moonkun |
2018-04-03 |
2 |
| 24 |
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2018-04-03 |
13 |
| 23 |
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
|
moonkun |
2018-04-03 |
4 |
| 22 |
[2017-07-06] ADONIS/PP-II-B/KSA/CC: Demo Meeting
|
moonkun |
2018-04-03 |
212 |
| 21 |
[2017-05-16] [ADONIS/PP-1] ADONIS/KOR/KTC/KTC/CCR/V1.0 Installation
|
moonkun |
2018-04-03 |
198 |
| 20 |
[2017-05-15] KAI, Invited Lecture
|
moonkun |
2018-04-03 |
170 |
| 19 |
[2017-04-18] ADONIS/PPI/KTC - ADONIS/K/KTC/CL/V1.0 Demo
|
moonkun |
2018-04-03 |
1 |
| 18 |
[2017-03-31] BOC Berlin, Technical Discussion for the KTC Solutions with ADONIS
|
moonkun |
2018-04-03 |
22 |
| 17 |
[2017-02-28] ADONIS/PPI/KTL - Preliminary Meeting
|
moonkun |
2018-04-03 |
35 |
| 16 |
[2017-02-03] [BZEN][MK] BZEN Homepage V1.0 Alpha Test Version
 1
|
moonkun |
2017-05-10 |
2691 |
| 15 |
[2017-02-03] [BZEN][S][G-VI] Braining Storming [DJJ; DSC]
 |
moonkun |
2017-02-25 |
|
| 14 |
[2017-01-23~27] [BZEN] BOC ADONIS Training & Negotiation
3
 |
moonkun |
2017-02-25 |
1207 |
| 13 |
[2017-01-04] [BZEN][J] Weekly
|
moonkun |
2017-02-25 |
|
 |
[2016-12-05] [BZEN][J] Preliminary (1)
|
moonkun |
2017-02-25 |
|
| 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 |
|
