A study of decompositional verification of hybrid systems
- Författare
- Martin Westhead
- (Martin Westhead, Simin Nadjm-Tehrani.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
1995 | Sverige | 18 sidor. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
1995 | Sverige | 18 sidor. |