Safety Assurance under Uncertainties
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Inhalt
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.
Bibliografische Angaben
Mai 2025, 348 Seiten, Englisch
Taylor and Francis
978-0-367-55401-9