Model Checking for Autonomic Systems Specified with ASSL
You are here
| Title | Model Checking for Autonomic Systems Specified with ASSL |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Vassev E, Hinchey M |
| Conference Name | In Proc. 1st NASA Formal Methods Symposium (NFM 2009)In Proc. 1st NASA Formal Methods Symposium (NFM 2009) |
| Date Published | 2009 |
| Conference Location | Moffet Field, CA |
| URL | http://ulir.ul.ie/handle/10344/1796 |
