Uppaal SMC tutorial

标题

Uppaal SMC tutorial

作者

关键词

Uppaal, Timed automata, Model-checking, Statistical model-checking, Stochastic, Hybrid, Dynamical, Probabilistic

出版物

Volume 17, Issue 4, Pages 397-415

出版商

Springer Nature

发表日期

2015-01-05

DOI

10.1007/s10009-014-0361-y

参考文献

查看 1 条相关文献

联系作者

Discuss science. Find collaborators. Network.

Join a conversation

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

Create Now