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 Hardcover Book (Book with hard spine and cover) |
| Released | May 12, 2025 |
| ISBN13 | 9780367554019 |
| Publishers | Taylor & Francis Ltd |
| Pages | 348 |
| Dimensions | 150 × 220 × 20 mm · 820 g |
| Language | English |
| Editor | Hasuo, Ichiro (National Institute of Informatics, Japan) |
| Editor | Ishikawa, Fuyuki (National Institute of Informatics, Japan) |