Institutional Repository

Browsing 1991 6th South African Computer Symposium by Author "De Villiers, PJA"

Browsing 1991 6th South African Computer Symposium by Author "De Villiers, PJA"

Sort by: Order: Results:

  • A model checker for transition systems 
    De Villiers, PJA (1991)
    A model checker automatically determines whether a model of a re­active system satisfies its specification.Temporal logic is used to spec­ify the intended behaviour of a reactive system which is modelled as a transition ...
  • A reusable kernel for the development of control software 
    Fouche, W; De Villiers, PJA (1991)
    A kernel has been developed which can be used to simplify the development of control software. It can be used to control several physical machines which are interconnected via a fast local area network. One or more virtual ...

Search UnisaIR


Browse

My Account