Model checking Planning Strategy synthesis Probabilistic model checking Partial-order reduction;
机译:模型检查:最新改进和应用
机译:Mastercam工具处理建模和加工:CADALYST Labs检验Mastercam铣削和实体建模应用程序
机译:用于分析右删截和左截断下的双变量死亡率的Kaplan-Meier估计器的推广及其在生存copula模型的模型检查中的应用
机译:算法代数模型检查II:半代数模型检查的可确定性及其在系统生物学中的应用
机译:增强了用于商业软件应用程序的统一建模语言模型检查。
机译:更正为:一种新的半自动化工作流程用于化学数据检索和建模应用程序的质量检查
机译:模型检查:最近的改进和应用