Model Checking for Autonomic Systems Specified with ASSL
You are here
| Title | Model Checking for Autonomic Systems Specified with ASSL |
| Publication Type | Workshop Paper |
| Year of Publication | 2009 |
| Authors | Vassev E, Hinchey M, Quigley A |
| Title | Model Checking for Autonomic Systems Specified with ASSL |
| Publication Type | Workshop Paper |
| Year of Publication | 2009 |
| Authors | Vassev E, Hinchey M, Quigley A |
Copyright 2024 Lero
