Tell your friends about this item:
Safety Assurance under Uncertainties: From Software to Cyber-Physical / Machine Learning Systems
Safety Assurance under Uncertainties: From Software to Cyber-Physical / Machine Learning Systems
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.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| To be released | August 27, 2026 |
| ISBN13 | 9780367554040 |
| Publishers | Taylor & Francis Ltd |
| Pages | 348 |
| Dimensions | 150 × 220 × 10 mm · 524 g (Weight (estimated)) |
| Editor | Hasuo, Ichiro (National Institute of Informatics, Japan) |
| Editor | Ishikawa, Fuyuki (National Institute of Informatics, Japan) |