HASL: A new approach for performance evaluation and model checking from concepts to experimentation
Ballarini, Paolo, Barbot, Benoît, Duflot, Marie, Haddad, Serge, Pekergin, NihalVolume:
90
Language:
english
Journal:
Performance Evaluation
DOI:
10.1016/j.peva.2015.04.003
Date:
August, 2015
File:
PDF, 1.78 MB
english, 2015