Automobiles; Model checking; Standards; Cruise control; Automation; Velocity control; Safety;
机译:定时自动机指标对连续时间马尔可夫链的模型检验
机译:通过仿真建模架构(SiMA)支持动态仿真:基于离散事件系统规范的建模和仿真框架
机译:SiMA:基于离散事件系统规范的建模和仿真框架,以支持模型可组合性
机译:用于实时规范的模型检查$$$$模型检查和符号模型检查
机译:Java内存模型感知模型检查
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:根据定时自动机规范对连续时间马尔可夫链进行模型检查