机译:模型检查的隐藏模型
Computer Science, Stellenbosch University,Stellenbosch, South Africa;
Computer Science, Stellenbosch University,Stellenbosch, South Africa,Department of Computer Science and Engineering,University of Nebraska-Lincoln, Lincoln, NE, USA;
Software Engineering Center, University of Minnesota,Minneapolis, MN, USA;
model checking; models temporal logic; biological systems;
机译:隐藏功能故障的工厂功能检查模型
机译:隐藏的马尔可夫模型时间序列:使用r的简介。 沃尔特? 西葫芦,Iain L.? 麦当劳和罗兰? Langrock,Boca Raton,CRC压力隐马尔可夫模型用于时间序列隐藏式马尔可夫型号的时间序列:使用R引言使用R引言。 沃尔特? 西葫芦沃尔特沃尔特? 西葫芦夏南瓜,Iain L.? 麦当劳Iain L. Iain L.? 麦当劳麦当劳,罗兰? Langrock Roland Roland? Langrock Langrock,Boca Raton Boca Raton,CRC按CRC压力机
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:隐藏马尔可夫模型的逻辑和模型检查
机译:后验预测模型检验对增长曲线模型的模型批评
机译:隐马尔可夫模型和隐玻尔兹曼模型结果的误差统计
机译:模型检查的隐藏模型