University of Manitoba (Canada);
机译:基于定理证明检查对象-Z正式规范的一致性
机译:从Object-Z规范生成Python代码
机译:面向方面的形式化建模:(AspectZ + Object-Z)= OOAspectZ
机译:用于指定并发实时系统的实时对象-Z和CSP的集成
机译:实时磁共振成像数据的实时图像重建
机译:用于GenoGroup II Norovirus的一步实时RT-PCR和嵌套实时RT-PCR的比较揭示了灵敏度的差异这取决于测定设计和可视化
机译:实时对象z和csp的集成,用于指定并发实时系统