Now showing items 1-1 of 1

  • Modelling safety properties of interactive medical systems

    Reeves, Steve; Bowen, Judy (ACM, 2013)
    Formally modelling the software functionality and interactivity of safety-critical devices allows us to prove properties about their behaviours and be certain that they will respond to user interaction correctly. In domains ...