Browsing by Author "Wall, Philip Gerhard"

Now showing items 1-1 of 1

  • Bisimulation as a verification and validation technique for message sequence charts 

    Wall, Philip Gerhard (University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)
    The complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence ...