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
글 수
359
회원가입
로그인...
[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)
46
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
조회 수
추천 수
비추천 수
날짜
최근 수정일
[21st June 2023] A View from the Office at the Beginning of Summer
moonkun
2023.06.21
조회 수
64
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
moonkun
2023.07.24
조회 수
45
[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day
moonkun
2023.07.24
조회 수
53
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
moonkun
2023.07.24
조회 수
43
[NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation
moonkun
2023.07.24
조회 수
64
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
moonkun
2023.07.24
조회 수
45
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
moonkun
2023.07.24
조회 수
40
[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day
moonkun
2023.07.24
조회 수
51
[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day
moonkun
2023.07.24
조회 수
54
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
moonkun
2023.07.24
조회 수
41
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
moonkun
2023.07.24
조회 수
50
[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day
(
8
)
moonkun
2023.07.24
조회 수
71
[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
조회 수
46
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
(
1
)
moonkun
2024.01.29
조회 수
36
[March 2024] Korea-Austria Joint Project: DeViLL
(
4
)
moonkun
2024.03.21
조회 수
34
[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
조회 수
13
[NEMO '24] [Mon] [15th July 2024] [UniVie] Opening Day
moonkun
2024.07.17
조회 수
0
[NEMO '24] [Tue] [16th July 2024] [UniVie] Day 2
moonkun
2024.07.17
조회 수
0
[NEMO '24] [Wed] [17th July 2024] [UniVie] Day 3
moonkun
2024.07.17
조회 수
0
쓰기...
목록
첫 페이지
8
9
10
11
12
13
14
15
16
17
18
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소