| 346 |
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
 1
 |
moonkun |
2024-01-29 |
38 |
| 345 |
[NEMO '22] Day 9 (21th July, Thur)
4
|
moonkun |
2022-07-18 |
39 |
| 344 |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
40 |
| 343 |
[NEMO '22] Day 6 (18th July, Mon)
5
|
moonkun |
2022-07-18 |
42 |
| 342 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
42 |
| 341 |
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
|
moonkun |
2023-03-06 |
43 |
| 340 |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
44 |
| 339 |
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
|
moonkun |
2023-07-24 |
45 |
| 338 |
[NEMO '22] Day 7 (19th July, Tue)
4
|
moonkun |
2022-07-18 |
47 |
| 337 |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
47 |
| 336 |
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
|
moonkun |
2022-11-16 |
48 |
| 335 |
[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 |
| 334 |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
50 |
| 333 |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
50 |
| 332 |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
50 |
| 331 |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
50 |
| 330 |
[NEMO '22] Day 10 (22th July, Fri)
10
|
moonkun |
2022-07-18 |
50 |
| 329 |
[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 |
| 328 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
50 |
| 327 |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
51 |
