Browsing by Subject "Safety critical system"
Now showing items 1-1 of 1
(Springer, 2017)This chapter attempts to identify future research directions for formal methods in HCI. It does this using two main approaches. First, we will look at trends within HCI more broadly and the challenges these pose for formal ...