Cited By
View all- Audrito GDamiani FTorta G(2024)Towards Real-Time Aggregate ComputingLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_4(49-68)Online publication date: 27-Oct-2024
- Chen WYang QJiang ZXing JZhao SZhou QHan DFeng B(2023)SwarmL: A Language for Programming Fully Distributed Intelligent Building SystemsBuildings10.3390/buildings1302049913:2(499)Online publication date: 12-Feb-2023
- Casadei R(2023)Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour ModellingACM Computing Surveys10.1145/357935355:13s(1-37)Online publication date: 13-Jul-2023
- Show More Cited By