[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Amjad Gawanmeh, "Interfacing Abstract State Machines with Multiway Decision Graphs". Master's Thesis, Department of Electrical and Computer Engineering, Concordia University, April 2003. |
---|---|
Summary: | A master's thesis describing an interface between ASMs and multiway decision graphs (MDGs). |
Subjects: | Mechanical Verification, Benchmark Examples |
Download: | From the author's homepage in PDF. |
Notes: | An expansion of earlier work. |