27 |
[21st June 2023] A View from the Office at the Beginning of Summer
|
moonkun |
2023-06-21 |
71 |
26 |
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
|
moonkun |
2023-07-24 |
48 |
25 |
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
|
moonkun |
2023-07-24 |
57 |
24 |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
46 |
23 |
[NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation
|
moonkun |
2023-07-24 |
67 |
22 |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
53 |
21 |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
47 |
20 |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
54 |
19 |
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
|
moonkun |
2023-07-24 |
58 |
18 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
44 |
17 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
54 |
16 |
[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day
8
|
moonkun |
2023-07-24 |
77 |
15 |
[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 |
55 |
14 |
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
1
|
moonkun |
2024-01-29 |
42 |
13 |
[March 2024] Korea-Austria Joint Project: DeViLL
4
|
moonkun |
2024-03-21 |
47 |
12 |
[Jun 2024] Sensors: A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence
|
moonkun |
2024-06-17 |
29 |
11 |
[NEMO '24] [Mon] [15th July 2024] [UniVie] Opening Day
|
moonkun |
2024-07-17 |
7 |
10 |
[NEMO '24] [Tue] [16th July 2024] [UniVie] Day 2
|
moonkun |
2024-07-17 |
7 |
9 |
[NEMO '24] [Wed] [17th July 2024] [UniVie] Day 3 [Prof. Lee]
1
|
moonkun |
2024-07-17 |
7 |
8 |
[NEMO '24] [Thur] [18th July 2024] [UniVie] Day 4
|
moonkun |
2024-07-25 |
6 |