Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdgthesis.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdgthesis.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT