State University of New York at Stony Brook.;
机译:通过Java和具有参数模型检查功能的设计方法对具有实时约束的单总线系统进行建模
机译:使用参数模型检查使用Java和设计方法使用实时约束来建模单总线系统
机译:无限状态系统的基于模型检查的基于跟踪的信息流属性
机译:列出的分辨率+约束:用于模型检查实时系统的方法
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:物理约束对膜融合机制的影响:硼状脂质囊泡作为模型系统。
机译:列出的分辨率+约束:用于模型检查实时系统的食谱
机译:基于分布式组件的系统中组合约束的规范和动态检验。