Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
(Bog, Hardback, Engelsk)
Forlag:
Taylor & Francis Ltd
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9780367554019
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Taylor & Francis Ltd |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 12-05-2025 |
| Første udgivelsesår | 2025 |
| Illustrationer | 4 Line drawings, color; 49 Line drawings, black and white; 4 Halftones, color; 68 Halftones, black and white; 8 Illustrations, color; 117 Illustrations, black and white |
| Fagredaktør | Ichiro (National Institute of Informatics Hasuo, Fuyuki (National Institute of Informatics Ishikawa |
| Originalsprog | United Kingdom |
| Sideantal | 348 |
| Indbinding | Hardback |
| Forlag | Taylor & Francis Ltd |
| Sideoplysninger | 348 pages, 4 Line drawings, color; 49 Line drawings, black and white; 4 Halftones, color; 68 Halfton |
| Mål | 234 x 156 |
| ISBN-13 / EAN-13 | 9780367554019 |