Quantitative Analysis of Real-Time Systems Using Priced Timed Automata.
Saved in:
| Title: | Quantitative Analysis of Real-Time Systems Using Priced Timed Automata. |
|---|---|
| Authors: | Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G. |
| Source: | Communications of the ACM; September 2011, Vol. 54 Issue 9, p78-87, 10p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
