You cannot see this page without javascript.

Language
한국어

BBS

게시판 Bulletin Board
글 수 373
조회 수 추천 수 비추천 수 날짜 최근 수정일
[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
[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day (8)
moonkun
2023.07.24
조회 수 265
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
moonkun
2023.07.24
조회 수 200
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
moonkun
2023.07.24
조회 수 193
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
moonkun
2023.07.24
조회 수 247
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
moonkun
2023.07.24
조회 수 207
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
moonkun
2023.07.24
조회 수 151
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
moonkun
2023.07.24
조회 수 155
[NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation
moonkun
2023.07.24
조회 수 193
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
moonkun
2023.07.24
조회 수 143
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
moonkun
2023.07.24
조회 수 181
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
moonkun
2023.07.24
조회 수 159
[21st June 2023] A View from the Office at the Beginning of Summer
moonkun
2023.06.21
조회 수 193
[19th May 2023] A View from the Office at the End of Spring (1)
moonkun
2023.05.19
조회 수 163
[16th May 2023] 시집 『메타-메타』 (Meta-Meta)
moonkun
2023.05.16
조회 수 208
[14 April 2023] A Morning View from the Office w/o Yellow Dust
moonkun
2023.04.14
조회 수 171
[April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계 (3)
moonkun
2023.04.10
조회 수 188
[Aug 2022] ADA SRL Meta-Language (1)
moonkun
2023.03.06
조회 수 190
[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
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
moonkun
2023.03.06
조회 수 148
쓰기... 목록