Browsing by Author "Liu, Bowen"

Now showing items 1-1 of 1

  • Using behavioural specifications to support model-checking

    Liu, Bowen (The University of Waikato, 2019)
    Safety-critical interactive systems provide many benefits for human daily life, but erroneous safety-critical interactive systems can lead to serious consequences to the users. Thus building these systems requires that we ...