HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Title
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
Authors
Keywords
Discrete event stochastic process, Statistical model checking, Performance evaluation
Journal
PERFORMANCE EVALUATION
Volume 90, Issue -, Pages 53-77
Publisher
Elsevier BV
Online
2015-05-26
DOI
10.1016/j.peva.2015.04.003

Ask authors/readers for more resources

Reprint

Contact the author

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started