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 篇投稿中仔細審核和選出的。會議論文集的重點包括系統安全評估、網絡安全分析、安全機器學習、概率分析、基於模型的設計與安全評估、機器學習及自動機學習在系統安全中的應用、故障檢測、隔離與恢復分析。