|
[BBDHP15]
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad and Nihal Pekergin.
HASL: A new approach for performance evaluation and model checking from concepts to experimentation .
Performance Evaluation, 90, pages 53-77.
2015.
[bib]
http://www.sciencedirect.com/science/article/pii/S0166531615000413
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|