Fuyuki Ishikawa,
Ichiro Hasuo,
Ichiro Hasuo,
Fuyuki Ishikawa
e.a.
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Paperback Engels 2026 1e druk 9780367554040Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning.
Specificaties
ISBN13:9780367554040
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:348
Uitgever:CRC Press
Druk:1
Hoofdrubriek:Wetenschap en techniek, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Preface. Optimisation-Based Falsification. Monitoring Temporal Specifications. Formal Specification of Temporal Properties. Testing for Machine Learning-Based Systems. Safety Standards and Safety Assurance Framework for ADS. Uncertainty-wise Testing. Decision Making for Automated Driving. Formal Modelling. Theorem Proving at Work. Search-Based Analysis and Engineering. Fault Localisation and Understanding. Index.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan