Verification of Linear Duration Properties over Continuous−Time Markov Chains
Abstract. Stochastic modeling and algorithmic verification techniques have been proved useful in analyzing and detecting unusual trends in performance and energy usage of systems such as power management controllers and wireless sensor devices. Many important properties are dependent on the cumulate...
| Asıl Yazarlar: | , , , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
2012
|
Search Result 1
Verification of Linear Duration Properties over Continuous Time Markov Chains
Baskı/Yayın Bilgisi 2012
Conference item