
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Herausgeber: Hasuo, Ichiro; Ishikawa, Fuyuki
Versandkostenfrei!
Versandfertig in 1-2 Wochen
157,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
79 °P sammeln!
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.