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

글 수 355

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

번호	제목	글쓴이	날짜	조회 수
355	[March 2024] Korea-Austria Joint Project: DeViLL 4	moonkun	2024-03-21	16
354	[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age. 1	moonkun	2024-01-29	14
	[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	8
352	[NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day 8	moonkun	2023-07-24	36
351	[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day	moonkun	2023-07-24	23
350	[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day	moonkun	2023-07-24	26
349	[NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day	moonkun	2023-07-24	26
348	[NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day	moonkun	2023-07-24	22
347	[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day	moonkun	2023-07-24	20
346	[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day	moonkun	2023-07-24	20
345	[NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation	moonkun	2023-07-24	37
344	[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day	moonkun	2023-07-24	20
343	[NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day	moonkun	2023-07-24	23
342	[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna	moonkun	2023-07-24	27
341	[21st June 2023] A View from the Office at the Beginning of Summer	moonkun	2023-06-21	34
340	[19th May 2023] A View from the Office at the End of Spring 1	moonkun	2023-05-19	34
339	[16th May 2023] 시집 『메타-메타』 (Meta-Meta)	moonkun	2023-05-16	54
338	[14 April 2023] A Morning View from the Office w/o Yellow Dust	moonkun	2023-04-14	35
337	[April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계 3	moonkun	2023-04-10	42
336	[Aug 2022] ADA SRL Meta-Language 1	moonkun	2023-03-06	48

쓰기... 목록

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