Safety Assurance under Uncertainties
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Contenu
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.
Informations bibliographiques
mai 2025, 348 pages, Anglais
Taylor and Francis
978-0-367-55401-9