School of Computing,National University of Singapore;
Department of Computer Science,The University of Auckland;
School of Computing,National University of Singapore;
Information Systems Architecture Research Division,Grace Center, National Institute of Informatics;
School of Computing,National University of Singapore;
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:随机调度无线传感器网络的形式概率性能验证
机译:指定和验证传感器网络:正式方法的实验
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:指定和验证传感器网络:正式方法的实验
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术