共 16 条
[1]
Aguzzi G., 2022, CRIC96 EXPT 2022 IEE
[4]
Casadei R, 2022, Arxiv, DOI arXiv:2201.03473
[6]
FSCAFI: A Core Calculus for Collective Adaptive Systems Programming
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: ENGINEERING PRINCIPLES, ISOLA 2020, PT II,
2020, 12477
:344-360
[8]
Duckham M, 2013, DECENTRALIZED SPATIA, DOI [10.1007/978-3-642-30853-6, DOI 10.1007/978-3-642-30853-6]