![](/modules/board/skins/xe_board/images/common/iconArrowD8.gif) |
![](http://moon.jbnu.ac.kr/files/thumbnails/077/847/100x100.crop.jpg) |
[Sept 2022] KIPS Trans. Comp. and Comm. Sys.: GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems
|
moonkun |
2023-03-06 |
42 |
GTS-VISUAL LOGIC: VISUAL LOGIC AND TOOL FOR ANALYSIS AND VERIFICATION OF SECURE REQUIREMENTS IN SMART IOT SYSTEMS
|
334 |
![](http://moon.jbnu.ac.kr/files/thumbnails/073/847/100x100.crop.jpg) |
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
|
moonkun |
2023-03-06 |
31 |
|
333 |
![](http://moon.jbnu.ac.kr/files/thumbnails/955/846/100x100.crop.jpg) |
[Oct/Nov '22] [DeViLL] [MPC] Korea-Austria Joint Project : Kick-off Meeting at JBNU
|
moonkun |
2022-11-16 |
65 |
|
332 |
![](http://moon.jbnu.ac.kr/files/thumbnails/947/846/100x100.crop.jpg) |
[NEMO '22] Day 10 (22nd July) Closing Ceremony
|
moonkun |
2022-11-16 |
26 |
|
331 |
![](http://moon.jbnu.ac.kr/files/thumbnails/934/846/100x100.crop.jpg) |
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
|
moonkun |
2022-11-16 |
31 |
|
330 |
![](http://moon.jbnu.ac.kr/files/thumbnails/718/846/100x100.crop.jpg) |
[NEMO '22] Day 10 (22th July, Fri)
10
|
moonkun |
2022-07-18 |
39 |
|
329 |
![](http://moon.jbnu.ac.kr/files/thumbnails/690/846/100x100.crop.jpg) |
[NEMO '22] Day 9 (21th July, Thur)
4
|
moonkun |
2022-07-18 |
30 |
|
328 |
![](http://moon.jbnu.ac.kr/files/thumbnails/670/846/100x100.crop.jpg) |
[NEMO '22] Day 8 (20th July, Wed)
4
|
moonkun |
2022-07-18 |
153 |
|
327 |
![](http://moon.jbnu.ac.kr/files/thumbnails/648/846/100x100.crop.jpg) |
[NEMO '22] Day 7 (19th July, Tue)
4
|
moonkun |
2022-07-18 |
32 |
|
326 |
![](http://moon.jbnu.ac.kr/files/thumbnails/617/846/100x100.crop.jpg) |
[NEMO '22] Day 6 (18th July, Mon)
5
|
moonkun |
2022-07-18 |
33 |
|
325 |
![](http://moon.jbnu.ac.kr/files/thumbnails/585/846/100x100.crop.jpg) |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
31 |
|
324 |
![](http://moon.jbnu.ac.kr/files/thumbnails/513/846/100x100.crop.jpg) |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
29 |
|
323 |
![](http://moon.jbnu.ac.kr/files/thumbnails/467/846/100x100.crop.jpg) |
[NEMO '22] Day 3 (13th July, Wed)
6
|
moonkun |
2022-07-13 |
29 |
|
322 |
![](http://moon.jbnu.ac.kr/files/thumbnails/445/846/100x100.crop.jpg) |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
30 |
|
321 |
![](http://moon.jbnu.ac.kr/files/thumbnails/420/846/100x100.crop.jpg) |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
34 |
|
320 |
[NEMO'22] Home page & Program
|
moonkun |
2022-07-11 |
94 |
|
319 |
![](http://moon.jbnu.ac.kr/files/thumbnails/276/846/100x100.crop.jpg) |
[OMiLAB Book Series] DSCM Vol. II. Concetps, Methods, and ADOxx Tools
|
moonkun |
2022-04-18 |
39 |
|
318 |
![](http://moon.jbnu.ac.kr/files/thumbnails/030/846/100x100.crop.jpg) |
[2021-12-20] SAVE 정형기법 도구 [저서]
1
|
moonkun |
2022-02-22 |
77 |
|
317 |
![](http://moon.jbnu.ac.kr/files/thumbnails/434/845/100x100.crop.jpg) |
[2021-11-2] 이문근 시집 『메타-메타』 (문예연구사, 2021)
4
|
moonkun |
2021-11-02 |
497 |
|
316 |
DSCM(Vol. II) Papers (Reviewed)
|
moonkun |
2021-09-08 |
3 |
비밀글입니다.
|