Recomienda este artículo a tus amigos:
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Pendiente de lanzamiento | 27 de agosto de 2026 |
| ISBN13 | 9780367554040 |
| Editores | Taylor & Francis Ltd |
| Páginas | 348 |
| Dimensiones | 150 × 220 × 10 mm · 524 g (Peso (estimado)) |
| Editor | Hasuo, Ichiro (National Institute of Informatics, Japan) |
| Editor | Ishikawa, Fuyuki (National Institute of Informatics, Japan) |