Search
Now showing items 1-1 of 1
Bisimulation as a verification and validation technique for message sequence charts
(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 ...