Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal - An Initial Study
- Författare
- Muhammad Usman Iftikhar
- (Mohammad Usman Iftikhar, Danny Weyns.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
2012 | Sverige, Växjö | 21 sidor. (PDF) | ||