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

• Material Type: 図書
• ISBN: 9780367554019 hardcover; 0367554011 hardcover; 9780367554040 paperback; 0367554046 paperback
• ISBN (error code): 9781003093350 electronic book; 9781040368459 electronic publication; 9781040368381 electronic book
• Title: Safety assurance under uncertainties : from software to cyber-physical/machine learning systems
• Author/Editor: editors, Ichiro Hasuo, Fuyuki Ishikawa
• Edition: First edition
• Author Heading: 蓮尾, 一郎 ハスオ, イチロウ ( 033749277 )Authorities; 石川, 冬樹 イシカワ, フユキ ( 01235605 )Authorities
• Publication, Distribution, etc.: Boca Raton, FL : CRC Press (出版)
• Publication Date: 2025; 著作権日付 : ©2025
• Publication Date (W3CDTF): 2025
• Extent: xviii, 347 pages
• Other physical details: illustrations (some color)
• Size: 25 cm
• Place of Publication (Country Code): US
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: 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
• Target Audience: 一般
• Note (Bibliography): Includes bibliographical references and index
• Collection (particular): 日本関係外国語図書
• Holding library: 国立国会図書館
• Call No.: M151-D46
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033985080; http://id.ndl.go.jp/bib/033985080
• LC Control Number: 2024040201; https://lccn.loc.gov/2024040201
• OCLC No.: 1470853577; https://www.worldcat.org/oclc/1470853577
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 211

• Contents: Optimisation-based falsificationMonitoring temporal specificationsFormal specification of temporal properties...
• Summary, etc.: "Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety...