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

出版年份 2015 全文链接

标题

作者

关键词

Discrete event stochastic process, Statistical model checking, Performance evaluation

出版物

Volume 90, Issue -, Pages 53-77

出版商

Elsevier BV

发表日期

2015-05-26

DOI

10.1016/j.peva.2015.04.003

联系作者

Discuss science. Find collaborators. Network.

Join a conversation

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started