m_bbs - [Jan 2024] Sensors: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT Systems in Digital Twin

Language

한국어

BBS

게시판 Bulletin Board

글 수 370

[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)

216

https://www.mdpi.com/1424-8220/24/3/767

이 게시물을

Cover.PNG (132.8KB)(0)

번호	제목	글쓴이	날짜	조회 수
370	[2025/05/06] A View from GakSe Rock	moonkun	2025-05-07	1
369	[25/04/25] A Spring View from Daga Bridge at Daga Mountain 1	moonkun	2025-04-28	76
368	[25/03/13] A Spring View from HanByeokRoo in Jeonju 2	moonkun	2025-04-28	6
367	[July 2024] Korea-Austria Joint Project: DeViLL 4	moonkun	2024-09-19	189
366	[NEMO '24] [Fri] [26th July 2024] [UniVie] Day 10	moonkun	2024-07-25	184
365	[NEMO '24] [Thur [25th July 2024] [UniVie] Day 9	moonkun	2024-07-25	151
364	[NEMO '24] [Wed] [24th July 2024] [UniVie] Day 8	moonkun	2024-07-25	141
363	[NEMO '24] [Tue] [23rd July 2024] [UniVie] Day 7	moonkun	2024-07-25	137
362	[NEMO '24] [Mon] [22nd July 2024] [UniVie] Day 6	moonkun	2024-07-25	193
361	[NEMO '24] [Fri] [19th July 2024] [UniVie] Day 5	moonkun	2024-07-25	154
360	[NEMO '24] [Thur] [18th July 2024] [UniVie] Day 4	moonkun	2024-07-25	150
359	[NEMO '24] [Wed] [17th July 2024] [UniVie] Day 3 [Prof. Lee] 1	moonkun	2024-07-17	163
358	[NEMO '24] [Tue] [16th July 2024] [UniVie] Day 2	moonkun	2024-07-17	173
357	[NEMO '24] [Mon] [15th July 2024] [UniVie] Opening Day	moonkun	2024-07-17	198
356	[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	290
355	[March 2024] Korea-Austria Joint Project: DeViLL 4	moonkun	2024-03-21	195
354	[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age. 1	moonkun	2024-01-29	233
	[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	216
352	[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day 8	moonkun	2023-07-24	254
351	[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day	moonkun	2023-07-24	189

쓰기... 목록

첫 페이지 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 끝 페이지