Author:
Bortolussi Luca,Gast Nicolas
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bulk Topological States in a New Collective Dynamics Model;SIAM Journal on Applied Dynamical Systems;2022-06
2. On the Throughput Optimization in Large-scale Batch-processing Systems;Performance Evaluation;2020-12
3. Optimal Service Elasticity in Large-Scale Distributed Systems;Proceedings of the ACM on Measurement and Analysis of Computing Systems;2017-06-13
4. Spatial Representations and Analysis Techniques;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016
5. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016