| 336 |
[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 |
45 |
| 335 |
[NEMO '22] Day 7 (19th July, Tue)
 4
|
moonkun |
2022-07-18 |
47 |
| 334 |
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
|
moonkun |
2022-11-16 |
48 |
| 333 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
48 |
| 332 |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
49 |
| 331 |
[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 |
49 |
| 330 |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
50 |
| 329 |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
50 |
| 328 |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
50 |
| 327 |
[NEMO '22] Day 10 (22th July, Fri)
10
|
moonkun |
2022-07-18 |
50 |
| 326 |
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
|
moonkun |
2023-07-24 |
51 |
| 325 |
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
|
moonkun |
2023-07-24 |
54 |
| 324 |
[OMiLAB Book Series] DSCM Vol. II. Concetps, Methods, and ADOxx Tools
|
moonkun |
2022-04-18 |
56 |
| 323 |
[21st June 2023] A View from the Office at the Beginning of Summer
|
moonkun |
2023-06-21 |
58 |
| 322 |
[2020-07-27] Defensio of Mr. Utz's Ph.D. Dissertation in UniVie
|
moonkun |
2020-07-29 |
59 |
| 321 |
[19th May 2023] A View from the Office at the End of Spring
1
|
moonkun |
2023-05-19 |
60 |
| 320 |
[April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계
3
|
moonkun |
2023-04-10 |
62 |
| 319 |
[NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation
|
moonkun |
2023-07-24 |
63 |
| 318 |
[2020-01-03] KCSE Tutorial (Pyeongchang)
|
moonkun |
2020-03-17 |
65 |
| 317 |
[Aug 2022] ADA SRL Meta-Language
1
|
moonkun |
2023-03-06 |
67 |
