机译:TLC模型检查器属性的研究
机译:使用TLA +和TLC模型检查器对多主体行为进行正式规范和验证
机译:TLC模型检查器的GUI的设计和实现
机译:Ti2TlC,Zr2TlC和Hf2TlC的结构,电子和弹性性能
机译:使用TLC模型检查器的设计模式自动验证
机译:使用muPIV和TLC技术对微通道中热和流体动力入口区域进行的实验研究。
机译:细胞毒性作用和薄层层析生物引导引导方法检测亚马逊云杉云杉精油的健康特性
机译:使用TLC模型检查器在TLA +中正式化设计模式的逐步改进验证。
机译:在TLC / NLC模型中建模全球定位系统效应