Safety assurance under uncertainties: from software to cyber-physical/machine learning systems
Éditeur :
Taylor & Francis Ltd
ISBN :
9780367554019
Date de publication :
12 mai 2025
Dimensions :
23,4 x 15,6 cm
Poids :
820 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.