186 |
![](http://moon.jbnu.ac.kr/files/thumbnails/621/809/100x100.crop.jpg) |
[2017-10-10] SRE 실험실 & OMiLAB Korea 연구 센터: 석사/박사 과정 후보생 모집
|
moonkun |
2017-10-10 |
1021 |
|
185 |
![](http://moon.jbnu.ac.kr/files/thumbnails/229/809/100x100.crop.jpg) |
[2017-09-18] [OKRC/PP] ER2017/AHA2017: Final, Camera-Ready
|
moonkun |
2017-09-23 |
1198 |
|
184 |
![](http://moon.jbnu.ac.kr/files/thumbnails/897/808/100x100.crop.jpg) |
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2017-09-14 |
1437 |
|
183 |
![](http://moon.jbnu.ac.kr/files/thumbnails/811/824/100x100.crop.jpg) |
[2019-01-02] 하현달과 금성 (A Waning Moon w/ Venus)
1
|
moonkun |
2019-01-02 |
1526 |
|
182 |
![](http://moon.jbnu.ac.kr/files/thumbnails/520/836/100x100.crop.jpg) |
[2019-07-25] NEMO2019, The 6th: Day 9 - Thur
6
|
moonkun |
2019-07-25 |
1529 |
|
181 |
![](http://moon.jbnu.ac.kr/files/thumbnails/446/808/100x100.crop.jpg) |
[2017-08-11] PoEM2017/PrOse2017 (Submitted)
|
moonkun |
2017-08-11 |
1862 |
|
180 |
![](http://moon.jbnu.ac.kr/files/thumbnails/797/835/100x100.crop.jpg) |
[2019-05-30] Journal of KIISE: dTP-Calculus - Submitted
|
moonkun |
2019-07-15 |
1890 |
|
179 |
![](http://moon.jbnu.ac.kr/files/thumbnails/149/808/100x100.crop.jpg) |
[2017-07-24] NEMO2017, The University of Vienna, Austria: Day 6 [Mon]
|
moonkun |
2017-07-25 |
1988 |
|
178 |
![](http://moon.jbnu.ac.kr/files/thumbnails/213/808/100x100.crop.jpg) |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Exercise
1
|
moonkun |
2017-07-27 |
2016 |
|
177 |
![](http://moon.jbnu.ac.kr/files/thumbnails/657/807/100x100.crop.jpg) |
[2017-06-30] Formal Methods [V0.1]
2
|
moonkun |
2017-07-02 |
2040 |
|
176 |
![](http://moon.jbnu.ac.kr/files/thumbnails/206/808/100x100.crop.jpg) |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Day 8 [Wed]
1
|
moonkun |
2017-07-27 |
2154 |
|
175 |
![](http://moon.jbnu.ac.kr/files/thumbnails/274/808/100x100.crop.jpg) |
[2017-07-27] NEMO2017, The University of Vienna, Austria: Day 9 [Thur]
|
moonkun |
2017-07-28 |
2157 |
|
174 |
![](http://moon.jbnu.ac.kr/files/thumbnails/124/808/100x100.crop.jpg) |
[2017-07-20] NEMO2017, The University of Vienna, Austria: Day 4 [Thur]
1
|
moonkun |
2017-07-21 |
2165 |
|
173 |
![](http://moon.jbnu.ac.kr/files/thumbnails/139/808/100x100.crop.jpg) |
[2017-07-21] NEMO2017, The University of Vienna, Austria: Day 5 [Fri]
|
moonkun |
2017-07-24 |
2216 |
|
172 |
![](http://moon.jbnu.ac.kr/files/thumbnails/209/808/100x100.crop.jpg) |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Lecture
1
|
moonkun |
2017-07-27 |
2230 |
|
171 |
![](http://moon.jbnu.ac.kr/files/thumbnails/203/808/100x100.crop.jpg) |
[2017-07-25] NEMO2017, The University of Vienna, Austria: Day 7 [Tue]
|
moonkun |
2017-07-26 |
2266 |
|
170 |
![](http://moon.jbnu.ac.kr/files/thumbnails/367/808/100x100.crop.jpg) |
[2017-08-04] Formal Method [V0.2] (To be published in September by CBNU Press)
3
|
moonkun |
2017-08-04 |
2286 |
|
169 |
![](http://moon.jbnu.ac.kr/files/thumbnails/965/807/100x100.crop.jpg) |
[2017-07-12] ICServ2017, Vienna, Austria: Opening
|
moonkun |
2017-07-14 |
2306 |
|
168 |
![](http://moon.jbnu.ac.kr/files/thumbnails/001/808/100x100.crop.jpg) |
[2017-07-14] ICServ2017, Vienna, Austria: Closing
1
|
moonkun |
2017-07-15 |
2323 |
|
167 |
![](http://moon.jbnu.ac.kr/files/thumbnails/489/807/100x100.crop.jpg) |
[2017-06-26] A Morning Sun
|
moonkun |
2017-06-26 |
2338 |
|