Refined Probabilistic Abstraction
Network technology enables smarter and more adaptive computing devices in the context of vehicles, communication and energy networks. Performance and quality-of-service guarantees are vital concerns for such systems. Meaningful guarantees are typically of a probabilistic nature due to the use of ran...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
Logos Verlag Berlin
2010
|