Browsing by Subject "Safety critical system"

Now showing items 1-1 of 1

  • Trends and gaps

    Dix, Alan; Weyers, Benjamin; Bowen, Judy; Palanque, Philippe (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 ...