共 36 条
- [1] [Anonymous], UPPAAL model checker
- [2] Bakhshi, 2023, Zenodo, DOI 10.5281/ZENODO.8052558
- [3] Bakhshi Valojerdi Z., 2021, P 22 IEEE INT C IND
- [4] Bakhshi Z., 2022, 6 INT C COMP SOFTW M, P1
- [5] Bakhshi Z., 2021, Persistent fault-tolerant storage at the fog layer
- [6] Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge [J]. 2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
- [7] Fault-tolerant Permanent Storage for Container-based Fog Architectures [J]. 2021 22ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2021, : 722 - 729
- [8] Energy-efficient data replication in cloud computing datacenters [J]. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2015, 18 (01): : 385 - 402
- [9] Byrne J, 2017, WINT SIMUL C PROC, P4568, DOI 10.1109/WSC.2017.8248208