Language
한국어
번호
제목
글쓴이
29 [2018-02-16][BOC+OMiLAB] Strategic Meetings (Day 4)
moonkun
2018-04-03 134
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=1&document_srl=814435  
28 [2018-02-15][BOC+OMiLAB] Strategic Meetings (Day 3)
moonkun
2018-04-03 3
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=1&document_srl=814407  
27 [2018-02-14][BOC+OMiLAB] Strategic Meetings (Day 2)
moonkun
2018-04-03 164
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=1&document_srl=814390  
26 [2018-02-13][BOC+OMiLAB] Strategic Meetings (Day 1)
moonkun
2018-04-03 7
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=1&document_srl=814356  
25 [2018-02-10] Businss Trip to U.of Kyoto, Prof. Karagiannis & Prof. Hara
moonkun
2018-04-03 2
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=1&document_srl=814215  
24 [2017-08-11] [Book] Formal Methods (published by CBNU Press)
moonkun
2018-04-03 13
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=2&document_srl=808897  
23 [2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
moonkun
2018-04-03 4
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=2&document_srl=808296  
22 [2017-07-06] ADONIS/PP-II-B/KSA/CC: Demo Meeting
moonkun
2018-04-03 212
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=3&document_srl=807891  
21 [2017-05-16] [ADONIS/PP-1] ADONIS/KOR/KTC/KTC/CCR/V1.0 Installation
moonkun
2018-04-03 198
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=4&document_srl=806749  
20 [2017-05-15] KAI, Invited Lecture
moonkun
2018-04-03 170
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=4&document_srl=806723  
19 [2017-04-18] ADONIS/PPI/KTC - ADONIS/K/KTC/CL/V1.0 Demo
moonkun
2018-04-03 1
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=4&document_srl=805995  
18 [2017-03-31] BOC Berlin, Technical Discussion for the KTC Solutions with ADONIS
moonkun
2018-04-03 22
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=4&document_srl=805644  
17 [2017-02-28] ADONIS/PPI/KTL - Preliminary Meeting
moonkun
2018-04-03 35
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&page=5&document_srl=805056  
16 [2017-02-03] [BZEN][MK] BZEN Homepage V1.0 Alpha Test Version 1
moonkun
2017-05-10 2691
현재 비젠의 공식적인 활동을 준비하고 있습니다. 과연 공식적인 활동을 위해서 무엇이 준비해야 할까요? 1) 아마도 가장 중요한 것은, 사람일 것입니다. 그래서, 오랜 과정을 거쳐 드디어 "삼총사"가 출범을 했습니다. YB+SH+JS! 삼총사는 제가 오랫동...  
15 [2017-02-03] [BZEN][S][G-VI] Braining Storming [DJJ; DSC] secret
moonkun
2017-02-25  
비밀글입니다.  
14 [2017-01-23~27] [BZEN] BOC ADONIS Training & Negotiation 3 file
moonkun
2017-02-25 1207
 
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  
비밀글입니다.  
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  
비밀글입니다.