Safety assurance under uncertainties : from software to cyber-physical/machine learning systems

• 資料種別: 図書
• ISBN: 9780367554019 hardcover; 0367554011 hardcover; 9780367554040 paperback; 0367554046 paperback
• ISBN（エラーコード）: 9781003093350 electronic book; 9781040368459 electronic publication; 9781040368381 electronic book
• タイトル: Safety assurance under uncertainties : from software to cyber-physical/machine learning systems
• 著者・編者: editors, Ichiro Hasuo, Fuyuki Ishikawa
• 版: First edition
• 著者標目: 蓮尾, 一郎 ハスオ, イチロウ ( 033749277 )典拠; 石川, 冬樹 イシカワ, フユキ ( 01235605 )典拠
• 出版事項: Boca Raton, FL : CRC Press (出版)
• 出版年月日等: 2025; 著作権日付 : ©2025
• 出版年（W3CDTF）: 2025
• 数量: xviii, 347 pages
• 形態の詳細: illustrations (some color)
• 大きさ: 25 cm
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Computer security; Cooperating objects (Computer systems)--Security measures; Application software--Development--Security measures; Sécurité informatique; Objets coopérants (Systèmes informatiques)--Sécurité--Mesures; Logiciels d'application--Développement--Sécurité--Mesures
• LCC: QA76.9.A25
• DDC: 005.8
• NDLC: M151
• 対象利用者: 一般
• 書誌注記: Includes bibliographical references and index
• コレクション（個別）: 日本関係外国語図書
• 所蔵機関: 国立国会図書館
• 請求記号: M151-D46
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033985080; http://id.ndl.go.jp/bib/033985080
• LC control number: 2024040201; https://lccn.loc.gov/2024040201
• OCLC番号: 1470853577; https://www.worldcat.org/oclc/1470853577
• 目録規則: RDA
• 整理区分コード: 211

• 内容細目: Optimisation-based falsificationMonitoring temporal specificationsFormal specification of temporal properties...
• 要約等: "Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety...