共 50 条
- [32] Flexible model specification and application for service-oriented software SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2019, 95 (04): : 363 - 381
- [33] Design of a Scalable InfiniBand Topology Service to Enable Network-Topology-Aware Placement of Processes 2012 INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS (SC), 2012,
- [34] Network Worm Propagating Model Based on Network Topology Unit MINES 2009: FIRST INTERNATIONAL CONFERENCE ON MULTIMEDIA INFORMATION NETWORKING AND SECURITY, VOL 1, PROCEEDINGS, 2009, : 383 - 387
- [38] Opportunistic network hierarchical model in unsteady topology Dongnan Daxue Xuebao, 3 (438-442):
- [40] NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, 2020, : 181 - 200