...
机译:使用正式规范模型评估协议性能
Department of Computer Science University of Maryland College Park MD 20742 U.S.A.;
Department of Electrical Engineering University of Maryland College Park MD 20742 U.S.A.;
performance estimation; protocol performance; deterministic analysis;
机译:使用正式规范模型评估协议性能
机译:估算正式通信协议规范大小的模型及其实现
机译:估算正式通信协议规范大小的模型及其实现
机译:根据正式规范评估协议性能
机译:根据正式规范评估通信协议的性能。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:传感器网络扩散协议中性能变化的形式化规范和分析