36 |
![](http://moon.jbnu.ac.kr/files/thumbnails/351/842/100x100.crop.jpg) |
[2020-07-27] Defensio of Mr. Utz's Ph.D. Dissertation in UniVie
|
moonkun |
2020-07-29 |
59 |
|
35 |
![](http://moon.jbnu.ac.kr/files/thumbnails/400/847/100x100.crop.jpg) |
[21st June 2023] A View from the Office at the Beginning of Summer
|
moonkun |
2023-06-21 |
58 |
|
34 |
![](http://moon.jbnu.ac.kr/files/thumbnails/350/847/100x100.crop.jpg) |
[19th May 2023] A View from the Office at the End of Spring
1
|
moonkun |
2023-05-19 |
55 |
|
33 |
![](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 |
55 |
|
32 |
![](http://moon.jbnu.ac.kr/files/thumbnails/481/847/100x100.crop.jpg) |
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
|
moonkun |
2023-07-24 |
53 |
|
31 |
![](http://moon.jbnu.ac.kr/files/thumbnails/436/847/100x100.crop.jpg) |
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
|
moonkun |
2023-07-24 |
50 |
|
30 |
![](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 |
48 |
|
29 |
![](http://moon.jbnu.ac.kr/files/thumbnails/718/846/100x100.crop.jpg) |
[NEMO '22] Day 10 (22th July, Fri)
10
|
moonkun |
2022-07-18 |
48 |
|
28 |
![](http://moon.jbnu.ac.kr/files/thumbnails/585/846/100x100.crop.jpg) |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
48 |
|
27 |
![](http://moon.jbnu.ac.kr/files/thumbnails/513/846/100x100.crop.jpg) |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
48 |
|
26 |
![](http://moon.jbnu.ac.kr/files/thumbnails/445/846/100x100.crop.jpg) |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
48 |
|
25 |
![](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 |
47 |
|
24 |
![](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 |
47 |
|
23 |
![](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 |
|
22 |
![](http://moon.jbnu.ac.kr/files/thumbnails/420/846/100x100.crop.jpg) |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
47 |
|
21 |
![](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 |
44 |
|
20 |
![](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 |
43 |
|
19 |
![](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 |
43 |
|
18 |
![](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 |
42 |
|
17 |
![](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 |
41 |
|