Author:
Turin Gianluca,Borgarelli Andrea,Donetti Simone,Damiani Ferruccio,Johnsen Einar Broch,Tapia Tarifa S. Lizeth
Subject
Hardware and Architecture,Information Systems,Software
Reference65 articles.
1. ABS, ., 2022. https://www.abs-models.org.
2. ABS Source Repository, ., 2022. https://github.com/abstools/abstools.
3. Formal modeling of resource management for cloud architectures: An industrial case study using real-time ABS;Albert;J. Serv.-Oriented Comput. Appl.,2014
4. Parallel cost analysis;Albert;ACM Trans. Comput. Log.,2018
5. Simulating concurrent behaviors with worst-case cost bounds;Albert,2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献