Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
| Autor: | Gnesi, S., Lenzini, G., Martinelli, F. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 1 February 2005 118:57-70 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect