Browsing by Subject "Safety-critical systems"
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. ...