Model-Based Safety and Assessment: 9th International Symposium, Imbsa 2025, Athens, Greece, September 24-26, 2025, Proceedings
暫譯: 基於模型的安全性與評估:第九屆國際研討會,IMBSA 2025,希臘雅典,2025年9月24-26日,會議論文集
Katsaros, Panagiotis
- 出版商: Springer
- 出版日期: 2025-09-21
- 售價: $2,820
- 貴賓價: 9.8 折 $2,764
- 語言: 英文
- 頁數: 446
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032050723
- ISBN-13: 9783032050724
-
相關分類:
Penetration-test
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.
The 28 full papers were carefully reviewed and selected from 39 submissions. The proceedings focus on System Safety Assessment, Cybersecurity Analysis, Safe Machine Learning, Probabilistic Analysis, Model-based Design and Safety Assessment, Machine Learning and Automata Learning for System Safety, Failure Detection Isolation and Recovery Analysis.
商品描述(中文翻譯)
本書 LNCS 15755 是第九屆國際模型基礎安全與評估研討會(IMBSA 2025)的會議論文集,該會議於 2025 年 9 月 24 日至 26 日在希臘雅典舉行。
這 28 篇完整論文是從 39 篇投稿中仔細審核和選出的。會議論文集的重點包括系統安全評估、網絡安全分析、安全機器學習、概率分析、基於模型的設計與安全評估、機器學習及自動機學習在系統安全中的應用、故障檢測、隔離與恢復分析。