Language
한국어
BBS
Owner
C.V.
Schedule
Thoughts
Critics
Chef
CBNU
Teaching
Research
Public Services
SRE Lab
OMiLab Korea
JBNU_Critics
Advisor
BZ
BZEN Inc.
The Proto Systems
Tasks
Works
Poem
Novel
News/Issues
Interest in
음악/Music
언어/Language
역사/History
무기/Military
경제/Economy
정치/Politics
문화/Culture
교육/Education
과학/Science
철학/Philosophy
의학/Medical
문학/Literature
삶/Life
해학/Humor
BBS
게시판 Bulletin Board
글 수
366
회원가입
로그인...
[Jan 2024] Sensors: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT Systems in Digital Twin
moonkun
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&document_srl=847777
2024.01.25
05:05:15 (*.78.118.32)
49
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
46
[NEMO'22] Day 1 (11th July. Mon)
5
moonkun
2022-07-11
50
45
[NEMO '22] Day 2 (12th July, Tue)
6
moonkun
2022-07-12
50
44
[NEMO '22] Day 3 (13th July, Wed)
6
moonkun
2022-07-13
34
43
[NEMO '22] Day 4 (14th July, Thur)
6
moonkun
2022-07-14
50
42
[NEMO '22] Day 5 (15th July, Fri)
6
moonkun
2022-07-14
50
41
[NEMO '22] Day 6 (18th July, Mon)
5
moonkun
2022-07-18
43
40
[NEMO '22] Day 7 (19th July, Tue)
4
moonkun
2022-07-18
47
39
[NEMO '22] Day 8 (20th July, Wed)
4
moonkun
2022-07-18
172
38
[NEMO '22] Day 9 (21th July, Thur)
4
moonkun
2022-07-18
39
37
[NEMO '22] Day 10 (22th July, Fri)
10
moonkun
2022-07-18
50
36
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
moonkun
2022-11-16
49
35
[NEMO '22] Day 10 (22nd July) Closing Ceremony
moonkun
2022-11-16
34
34
[Oct/Nov '22] [DeViLL] [MPC] Korea-Austria Joint Project : Kick-off Meeting at JBNU
moonkun
2022-11-16
77
33
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
moonkun
2023-03-06
43
32
[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
50
31
[Aug 2022] ADA SRL Meta-Language
1
moonkun
2023-03-06
67
30
[April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계
3
moonkun
2023-04-10
65
29
[14 April 2023] A Morning View from the Office w/o Yellow Dust
moonkun
2023-04-14
77
28
[16th May 2023] 시집 『메타-메타』 (Meta-Meta)
moonkun
2023-05-16
91
1) 시집 『메타-메타』 (Meta-Meta) 2) 관련 기사 3) Theme Poems in English
27
[19th May 2023] A View from the Office at the End of Spring
1
moonkun
2023-05-19
63
쓰기...
목록
첫 페이지
7
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소