| 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 |
221 |
|
|
| 352 |
 |
[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day
 8
|
moonkun |
2023-07-24 |
265 |
|
|
| 351 |
 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
200 |
|
|
| 350 |
 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
193 |
|
|
| 349 |
 |
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
|
moonkun |
2023-07-24 |
247 |
|
|
| 348 |
 |
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
|
moonkun |
2023-07-24 |
207 |
|
|
| 347 |
 |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
151 |
|
|
| 346 |
 |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
155 |
|
|
| 345 |
 |
[NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation
|
moonkun |
2023-07-24 |
193 |
|
|
| 344 |
 |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
143 |
|
|
| 343 |
 |
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
|
moonkun |
2023-07-24 |
181 |
|
|
| 342 |
 |
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
|
moonkun |
2023-07-24 |
159 |
|
|
| 341 |
 |
[21st June 2023] A View from the Office at the Beginning of Summer
|
moonkun |
2023-06-21 |
193 |
|
|
| 340 |
 |
[19th May 2023] A View from the Office at the End of Spring
1
|
moonkun |
2023-05-19 |
163 |
|
|
| 339 |
[16th May 2023] 시집 『메타-메타』 (Meta-Meta)
|
moonkun |
2023-05-16 |
208 |
|
1) 시집 『메타-메타』 (Meta-Meta) 2) 관련 기사 3) Theme Poems in English
|
| 338 |
 |
[14 April 2023] A Morning View from the Office w/o Yellow Dust
|
moonkun |
2023-04-14 |
171 |
|
|
| 337 |
 |
[April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계
3
|
moonkun |
2023-04-10 |
188 |
|
|
| 336 |
 |
[Aug 2022] ADA SRL Meta-Language
1
|
moonkun |
2023-03-06 |
190 |
|
|
| 335 |
 |
[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 |
171 |
|
|
| 334 |
 |
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
|
moonkun |
2023-03-06 |
148 |
|
|
