Browsing Dept. of Computer Science 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 ...