346 |
[NEMO '22] Day 9 (21th July, Thur)
4
|
moonkun |
2022-07-18 |
39 |
345 |
[March 2024] Korea-Austria Joint Project: DeViLL
4
|
moonkun |
2024-03-21 |
39 |
![](/modules/board/skins/xe_board/images/common/iconArrowD8.gif) |
[NEMO '22] Day 6 (18th July, Mon)
5
|
moonkun |
2022-07-18 |
43 |
343 |
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
|
moonkun |
2023-03-06 |
43 |
342 |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
43 |
341 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
43 |
340 |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
45 |
339 |
[NEMO '22] Day 7 (19th July, Tue)
4
|
moonkun |
2022-07-18 |
47 |
338 |
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
|
moonkun |
2023-07-24 |
47 |
337 |
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
|
moonkun |
2022-11-16 |
49 |
336 |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
50 |
335 |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
50 |
334 |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
50 |
333 |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
50 |
332 |
[NEMO '22] Day 10 (22th July, Fri)
10
|
moonkun |
2022-07-18 |
50 |
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 |
50 |
330 |
[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 |
50 |
329 |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
51 |
328 |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
51 |
327 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
52 |