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

글 수 367

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

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

이 게시물을

Cover.PNG (132.8KB)(0)

번호	제목	글쓴이	날짜	조회 수
367	[July 2024] Korea-Austria Joint Project: DeViLL 4	moonkun	2024-09-19	18
366	[NEMO '24] [Fri] [26th July 2024] [UniVie] Day 10	moonkun	2024-07-25	36
365	[NEMO '24] [Thur [25th July 2024] [UniVie] Day 9	moonkun	2024-07-25	16
364	[NEMO '24] [Wed] [24th July 2024] [UniVie] Day 8	moonkun	2024-07-25	10
363	[NEMO '24] [Tue] [23rd July 2024] [UniVie] Day 7	moonkun	2024-07-25	10
362	[NEMO '24] [Mon] [22nd July 2024] [UniVie] Day 6	moonkun	2024-07-25	21
361	[NEMO '24] [Fri] [19th July 2024] [UniVie] Day 5	moonkun	2024-07-25	17
360	[NEMO '24] [Thur] [18th July 2024] [UniVie] Day 4	moonkun	2024-07-25	14
359	[NEMO '24] [Wed] [17th July 2024] [UniVie] Day 3 [Prof. Lee] 1	moonkun	2024-07-17	14
358	[NEMO '24] [Tue] [16th July 2024] [UniVie] Day 2	moonkun	2024-07-17	21
357	[NEMO '24] [Mon] [15th July 2024] [UniVie] Opening Day	moonkun	2024-07-17	17
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	38
355	[March 2024] Korea-Austria Joint Project: DeViLL 4	moonkun	2024-03-21	58
354	[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age. 1	moonkun	2024-01-29	55
	[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	75
352	[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day 8	moonkun	2023-07-24	87
351	[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day	moonkun	2023-07-24	66
350	[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day	moonkun	2023-07-24	48
349	[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day	moonkun	2023-07-24	76
348	[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day	moonkun	2023-07-24	70

쓰기... 목록

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