formal verification; model checking; SDL; telecommunication protocols.;
机译:用于手机摄像头的磁驱动光学防抖系统的优化设计和实验验证
机译:验证移动网络物理系统中参数化协议的形式化方法
机译:移动代理系统的正式规范和验证
机译:SIEMENS手机部门的SDL系统正式验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:用于肥胖症和糖尿病的研究和教育的虚拟现实技术-由美国国立卫生研究院和国防部赞助:Aurora的初步研究Aurora是一种基于手机的基于社交的情感共享和记录系统
机译:为医学影像部门开发3G GSM移动(蜂窝)电话的电子医学报告传送系统