机译:定语元语法在替代设计的形式结构语言描述和可扩展电信网络的布局编程中的特殊情况第2部分。定语语法的形式属性
机译:Quantum-Dot蜂窝自动机中纳米通信系统实现的可逆奇偶校验机和检查器的设计
机译:基于量子点元胞自动机的可逆低功耗奇偶校验发生器和用于纳米通信的奇偶校验器设计
机译:使用UPPAAL的ICCP通信检查器的正式设计
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:基于ICCP指南的脊髓损伤临床试验设计的定量分析
机译:铁路时刻表的正式验证 - 使用UPPAAL模型检查器
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证