Developing Model-Checking Mechanisms for ASSL: An Experience Report
| Title | Developing Model-Checking Mechanisms for ASSL: An Experience Report |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Vassev, E, Hinchey M |
| Conference Name | Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011) |
| Date Published | 11/2011 |
| Publisher | Springer-Verlag |
| Conference Location | Montevideo, Uruguay |
| URL | https://sharepoint.lero.ie/Publications/2011/Conference%20Papers/2011-Vassev-Developing%20Model%20Checking%20Mechanisms.pdf |
Printer-friendly version