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)
48
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
46
[21st June 2023] A View from the Office at the Beginning of Summer
moonkun
2023-06-21
64
45
[19th May 2023] A View from the Office at the End of Spring
1
moonkun
2023-05-19
63
44
[2020-07-27] Defensio of Mr. Utz's Ph.D. Dissertation in UniVie
moonkun
2020-07-29
59
43
[OMiLAB Book Series] DSCM Vol. II. Concetps, Methods, and ADOxx Tools
moonkun
2022-04-18
57
42
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
moonkun
2023-07-24
54
41
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
moonkun
2023-07-24
53
40
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
moonkun
2023-07-24
51
39
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
moonkun
2023-07-24
50
38
[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
37
[NEMO '22] Day 10 (22th July, Fri)
10
moonkun
2022-07-18
50
36
[NEMO '22] Day 5 (15th July, Fri)
6
moonkun
2022-07-14
50
35
[NEMO '22] Day 4 (14th July, Thur)
6
moonkun
2022-07-14
50
34
[NEMO '22] Day 2 (12th July, Tue)
6
moonkun
2022-07-12
50
33
[NEMO'22] Day 1 (11th July. Mon)
5
moonkun
2022-07-11
50
32
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
moonkun
2022-11-16
49
[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
48
https://www.mdpi.com/1424-8220/24/3/767
30
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
moonkun
2023-07-24
47
29
[NEMO '22] Day 7 (19th July, Tue)
4
moonkun
2022-07-18
47
28
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
moonkun
2023-07-24
46
27
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
moonkun
2023-07-24
45
쓰기...
목록
첫 페이지
7
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소