Institutional Repository

Browsing Theses and Dissertations (Computing) by Title

UnisaIR/Manakin Repository

Browsing Theses and Dissertations (Computing) by Title

Sort by: Order: Results:

  • Steyn, Paul Stephanes (2009-01)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that ...
  • Mukwevho, Mukosi Abraham (2010-11)
    Network research experiments have traditionally been conducted in emulated or simulated environments. Emulators are frequently deployed on physical networks. Network simulators provide a self-contained and simple environment ...

Search UnisaIR


Browse

My Account