Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL
You are here
| Title | Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Vassev E, Hinchey M, Quigley A |
| Conference Name | Proceedings of the 4th International Conference on Software and Data TechnologiesProceedings of the 4th International Conference on Software and Data Technologies |
| Date Published | 2009 |
| Conference Location | Sofia, Bulgaria |
| URL | http://ulir.ul.ie/handle/10344/1798 |
