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)
50
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
26
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
moonkun
2023-07-24
43
25
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
moonkun
2023-07-24
43
24
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
moonkun
2023-03-06
43
23
[NEMO '22] Day 6 (18th July, Mon)
5
moonkun
2022-07-18
43
22
[March 2024] Korea-Austria Joint Project: DeViLL
4
moonkun
2024-03-21
39
21
[NEMO '22] Day 9 (21th July, Thur)
4
moonkun
2022-07-18
39
20
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
1
moonkun
2024-01-29
38
19
[NEMO '22] Day 10 (22nd July) Closing Ceremony
moonkun
2022-11-16
35
18
[NEMO '22] Day 3 (13th July, Wed)
6
moonkun
2022-07-13
34
17
[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
25
16
[2016-12-29] 대자보를 써보다.
1
moonkun
2017-01-17
22
비밀글입니다.
15
[NEMO '24] [Fri] [26th July 2024] [UniVie] Day 10
moonkun
2024-07-25
14
14
[2018-06-04] Proposal for Interdisciplinary Research supported by NRF.
moonkun
2018-06-05
5
비밀글입니다.
13
[NEMO '24] [Mon] [15th July 2024] [UniVie] Opening Day
moonkun
2024-07-17
4
12
[NEMO '24] [Wed] [17th July 2024] [UniVie] Day 3 [Prof. Lee]
1
moonkun
2024-07-17
3
11
DSCM(Vol. II) Papers (Reviewed)
moonkun
2021-09-08
3
비밀글입니다.
10
DSCM(Vol. II) Papers (Original)
moonkun
2021-09-08
3
비밀글입니다.
9
[2019-09-24] RE2019, Jeju, Korea : Tutorial Materials -- ADOxx
moonkun
2019-09-24
3
비밀글입니다.
8
[2018-02-26] Preliminary Meeting for OMiLAB/NPO/Seoul: Profs CSL
moonkun
2018-04-03
3
비밀글입니다.
7
[NEMO '24] [Thur [25th July 2024] [UniVie] Day 9
moonkun
2024-07-25
2
쓰기...
목록
첫 페이지
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소