346 |
![](http://moon.jbnu.ac.kr/files/thumbnails/795/847/100x100.crop.jpg) |
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
1
|
moonkun |
2024-01-29 |
38 |
|
345 |
![](http://moon.jbnu.ac.kr/files/thumbnails/690/846/100x100.crop.jpg) |
[NEMO '22] Day 9 (21th July, Thur)
4
|
moonkun |
2022-07-18 |
39 |
|
344 |
![](http://moon.jbnu.ac.kr/files/thumbnails/475/847/100x100.crop.jpg) |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
42 |
|
343 |
![](http://moon.jbnu.ac.kr/files/thumbnails/482/847/100x100.crop.jpg) |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
42 |
|
342 |
![](http://moon.jbnu.ac.kr/files/thumbnails/617/846/100x100.crop.jpg) |
[NEMO '22] Day 6 (18th July, Mon)
5
|
moonkun |
2022-07-18 |
43 |
|
341 |
![](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 |
43 |
|
340 |
![](http://moon.jbnu.ac.kr/files/thumbnails/447/847/100x100.crop.jpg) |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
45 |
|
339 |
![](http://moon.jbnu.ac.kr/files/thumbnails/425/847/100x100.crop.jpg) |
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
|
moonkun |
2023-07-24 |
46 |
|
338 |
![](http://moon.jbnu.ac.kr/files/thumbnails/648/846/100x100.crop.jpg) |
[NEMO '22] Day 7 (19th July, Tue)
4
|
moonkun |
2022-07-18 |
47 |
|
337 |
![](http://moon.jbnu.ac.kr/files/thumbnails/472/847/100x100.crop.jpg) |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
47 |
|
336 |
![](http://moon.jbnu.ac.kr/files/thumbnails/777/847/100x100.crop.jpg) |
[Jan 2024] Sensors: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT Systems in Digital Twin
|
moonkun |
2024-01-25 |
48 |
|
335 |
![](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 |
49 |
|
334 |
![](http://moon.jbnu.ac.kr/files/thumbnails/420/846/100x100.crop.jpg) |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
50 |
|
333 |
![](http://moon.jbnu.ac.kr/files/thumbnails/445/846/100x100.crop.jpg) |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
50 |
|
332 |
![](http://moon.jbnu.ac.kr/files/thumbnails/513/846/100x100.crop.jpg) |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
50 |
|
331 |
![](http://moon.jbnu.ac.kr/files/thumbnails/585/846/100x100.crop.jpg) |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
50 |
|
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 |
50 |
|
![](/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 |
50 |
GTS-VISUAL LOGIC: VISUAL LOGIC AND TOOL FOR ANALYSIS AND VERIFICATION OF SECURE REQUIREMENTS IN SMART IOT SYSTEMS
|
328 |
![](http://moon.jbnu.ac.kr/files/thumbnails/483/847/100x100.crop.jpg) |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
50 |
|
327 |
![](http://moon.jbnu.ac.kr/files/thumbnails/478/847/100x100.crop.jpg) |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
51 |
|