Model-checking based fault isolation in UML
- Författare
- Dan Lawesson
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2001 | Sverige, Linköping | 9 sidor. | ||
| Linköping University Electronic Press | 2001 | Sverige, Linköping | 10 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2001 | Sverige, Linköping | 9 sidor. | ||
| Linköping University Electronic Press | 2001 | Sverige, Linköping | 10 sidor. |