Funder
Libera Università di Bolzano
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference46 articles.
1. Allen R, Douence R, Garlan D (1998) Specifying and analyzing dynamic software architectures. In: FASE. https://doi.org/10.1007/BFb0053581, pp 21–37
2. Amparore EG, Donatelli S (2010) MC4CSLTA: An efficient model checking tool for cslta. In: 2010 Seventh International Conference on the Quantitative Evaluation of Systems, pp 153–154
3. Arcaini P, Riccobene E, Scandurra P (2017) Formal design and verification of self-adaptive systems with decentralized control. ACM Trans Auton Adapt Syst 11(4):25:1–25:35. https://doi.org/10.1145/3019598
4. Baarir S, Beccuti M, Cerotti D, Pierro MD, Donatelli S, Franceschinis G (2009) The GreatSPN tool: Recent enhancements. SIGMETRICS Perform Eval Rev 36(4):4–9. https://doi.org/10.1145/1530873.1530876
5. Balbo G (2001) Introduction to stochastic Petri nets. In: Brinksma E, Hermanns H, Katoen J-P (eds) Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. Springer, Berlin, pp 84–155
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献