Verifying Statemate Statecharts Using CSP and FDR
A. W. Roscoe and Zhenzhong Wu
Details
| Book Title |
Proceedings of ICFEM 2006 |
| Note |
scripts: http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115.csp; http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115statechartcompiler.csp |
| Year |
2006 |
Links
Related pages
|
People |
|
|
Activities |