Author:
Merino Pedro,Salmerón Alberto
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (September 2003)
2. The Network Simulator - ns-2 (February 2010), http://www.isi.edu/nsnam/ns/
3. Yovine, S.: KRONOS: A Verification Tool for Real-Time Systems. STTT 1(1-2) (1997)
4. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1-2) (1997)
5. Kwiatkowska, M., Norman, G., Parker, D.: Prism: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review 36(4), 40–45 (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献