Department of Computer Science, City University of New York (CUNY), New York, NY 10031, USA;
protocol interfaces; safety liveness properties; state space analysis; modeling of environment; discrete-event simulation languages;
机译:在印度汽车网络中使用按需路由协议基于仿真的无线电传播模型高效分析
机译:飞机自组织网络中两种路由协议基于仿真的性能比较
机译:互连的物流网络和协议:基于仿真的效率评估
机译:基于仿真的分布式网络协议验证工具
机译:自稳定协议和移动自组织网络中的分布式协议。
机译:分布式仿真作为建模工具用于开发针对心血管专业的基于仿真的培训计划
机译:用于自动验证网络协议的工具。