Browsing by Subject "Applied computing"
Now showing items 1-1 of 1
-
Applying Formal Methods for Integrating Advanced Algorithms in Safety Critical Systems
(2019-12)In software engineering it is essential that updates are deployed for continual improvement. While software updates bring new functionality, updates also may introduce instability. This leads to failures of various kinds. ...