|
[GCW07]
L. Grunske, R. Colvin and K. Winter.
Probabilistic Model-Checking Support for FMEA.
In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07).
September 2007.
[bib]
http://www.itee.uq.edu.au/~kirsten/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.itee.uq.edu.au/~kirsten/
|