Sarcoma 发表于 2025-3-30 11:28:32

http://reply.papertrans.cn/27/2658/265722/265722_51.png

REP 发表于 2025-3-30 15:54:50

http://reply.papertrans.cn/27/2658/265722/265722_52.png

eczema 发表于 2025-3-30 17:12:30

Stephan Meisel,Uli Suppa,Dirk Mattfeldtionally a formal model of an algorithm for regulating burstiness of network traffic is presented which incorporates discrete timing constraints. Our models are presented in CSP with automatic verification by the FDR model checker.
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Dependable Network Computing; Dimiter R. Avresky Book 2000 Springer Science+Business Media New York 2000 Broadcast.Computer.Flooding.Inter