Software Verification of Autonomic Systems Developed with ASSL
You are here
| Title | Software Verification of Autonomic Systems Developed with ASSL |
| Publication Type | Workshop Paper |
| Year of Publication | 2010 |
| Authors | Vassev E, Hinchey M |
| Title | Software Verification of Autonomic Systems Developed with ASSL |
| Publication Type | Workshop Paper |
| Year of Publication | 2010 |
| Authors | Vassev E, Hinchey M |
Copyright 2024 Lero
