| 367 |
[July 2024] Korea-Austria Joint Project: DeViLL
 4
 |
moonkun |
2024-09-19 |
27 |
| 366 |
[NEMO '24] [Fri] [26th July 2024] [UniVie] Day 10
|
moonkun |
2024-07-25 |
38 |
| 365 |
[NEMO '24] [Thur [25th July 2024] [UniVie] Day 9
|
moonkun |
2024-07-25 |
19 |
| 364 |
[NEMO '24] [Wed] [24th July 2024] [UniVie] Day 8
|
moonkun |
2024-07-25 |
13 |
| 363 |
[NEMO '24] [Tue] [23rd July 2024] [UniVie] Day 7
|
moonkun |
2024-07-25 |
14 |
| 362 |
[NEMO '24] [Mon] [22nd July 2024] [UniVie] Day 6
|
moonkun |
2024-07-25 |
24 |
| 361 |
[NEMO '24] [Fri] [19th July 2024] [UniVie] Day 5
|
moonkun |
2024-07-25 |
20 |
| 360 |
[NEMO '24] [Thur] [18th July 2024] [UniVie] Day 4
|
moonkun |
2024-07-25 |
15 |
| 359 |
[NEMO '24] [Wed] [17th July 2024] [UniVie] Day 3 [Prof. Lee]
1
|
moonkun |
2024-07-17 |
17 |
| 358 |
[NEMO '24] [Tue] [16th July 2024] [UniVie] Day 2
|
moonkun |
2024-07-17 |
22 |
| 357 |
[NEMO '24] [Mon] [15th July 2024] [UniVie] Opening Day
|
moonkun |
2024-07-17 |
18 |
| 356 |
[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 |
53 |
| 355 |
[March 2024] Korea-Austria Joint Project: DeViLL
4
|
moonkun |
2024-03-21 |
58 |
 |
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
1
|
moonkun |
2024-01-29 |
56 |
| 353 |
[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 |
77 |
| 352 |
[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day
8
|
moonkun |
2023-07-24 |
87 |
| 351 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
66 |
| 350 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
48 |
| 349 |
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
|
moonkun |
2023-07-24 |
76 |
| 348 |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
70 |
