Author:
Casale Giuliano,Serazzi Giuseppe
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performance Modelling of Intelligent Transportation Systems: Experience Report;Companion of the ACM/SPEC International Conference on Performance Engineering;2021-04-19
2. A Novel Family of Queuing Network Models for Self-adaptive Systems;Communications in Computer and Information Science;2021
3. Abstractions for Collective Adaptive Systems;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
4. To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?;Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2;2019
5. Building design-time and run-time knowledge for QoS-based component assembly;Software: Practice and Experience;2017-05-16