Pubblication Details
Authors: | Marco Beccuti |
Daniele Codetta Raiteri |
Giuliana Franceschinis |
Serge Haddad |
Scientific Area: | Dependability and Reliability |
Performance Evaluation |
Title: | A framework to design and solve Markov Decision Well-formed Net models |
Published on: | Proceedings of the International Conference on Quantitative Evaluation of Systems |
Pages: | 165-166 |
Publisher: | IEEE Computer Society |
Year: | 2007 |
Tipo Pubblicazione: | Paper on Proceedings International Conference |
URL: | http://dx.doi.org/10.1109/QEST.2007.32 |
Abstract: | |