| 356 |
[2018-02-26] Preliminary Meeting for OMiLAB/NPO/Seoul: Profs CSL
 |
moonkun |
2018-04-03 |
3 |
|
비밀글입니다.
|
| 355 |
[2019-09-24] RE2019, Jeju, Korea : Tutorial Materials -- ADOxx
|
moonkun |
2019-09-24 |
3 |
|
비밀글입니다.
|
| 354 |
DSCM(Vol. II) Papers (Original)
|
moonkun |
2021-09-08 |
3 |
|
비밀글입니다.
|
| 353 |
DSCM(Vol. II) Papers (Reviewed)
|
moonkun |
2021-09-08 |
3 |
|
비밀글입니다.
|
| 352 |
 |
[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 |
3 |
|
|
| 351 |
[2018-06-04] Proposal for Interdisciplinary Research supported by NRF.
|
moonkun |
2018-06-05 |
5 |
|
비밀글입니다.
|
| 350 |
[2016-12-29] 대자보를 써보다.
 1
|
moonkun |
2017-01-17 |
22 |
|
비밀글입니다.
|
| 349 |
 |
[March 2024] Korea-Austria Joint Project: DeViLL
4
|
moonkun |
2024-03-21 |
24 |
|
|
| 348 |
 |
[NEMO '22] Day 10 (22nd July) Closing Ceremony
|
moonkun |
2022-11-16 |
31 |
|
|
| 347 |
 |
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
1
|
moonkun |
2024-01-29 |
31 |
|
|
| 346 |
 |
[NEMO '22] Day 3 (13th July, Wed)
6
|
moonkun |
2022-07-13 |
34 |
|
|
| 345 |
 |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
35 |
|
|
| 344 |
 |
[NEMO '22] Day 9 (21th July, Thur)
4
|
moonkun |
2022-07-18 |
38 |
|
|
| 343 |
 |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
38 |
|
|
| 342 |
 |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
40 |
|
|
| 341 |
 |
[NEMO '22] Day 6 (18th July, Mon)
5
|
moonkun |
2022-07-18 |
41 |
|
|
| 340 |
 |
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
|
moonkun |
2023-03-06 |
41 |
|
|
| 339 |
 |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
41 |
|
|
| 338 |
 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
41 |
|
|
| 337 |
 |
[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 |
43 |
|
|
