...
机译:包括传感器故障在内的行为网络的形式验证
Behaviour-based system; Behaviour network; Behaviour modelling; Behaviour network verification; Model checking;
机译:包括传感器故障在内的行为网络的形式验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:随机调度无线传感器网络的形式概率性能验证
机译:正式验证行为网络,包括硬件故障
机译:二维框架失效分析的数值技术,包括稳定性和振动行为。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:从无线传感器网络到无线体积网络:使用PAT的正式建模和验证安全
机译:随机节点故障下无线传感器网络的性能。