Statistical model checking QoS properties of systems with SBIP

标题

作者

关键词

Component-based design, Stochastic systems, Statistical model checking, Experiments

出版物

International Journal on Software Tools for Technology Transfer

Volume 17, Issue 2, Pages 171-185

出版商

Springer Nature

发表日期

2014-03-29

DOI

10.1007/s10009-014-0313-6

向作者/读者发起求助以获取更多资源

Protocol

在线求助

Reagent

在线求助

Reprint

联系作者

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More