×
雷切尔·卡德尔·奥利弗

具有时间自动机规范的实时系统的一致性测试。 （英语） Zbl 1013.68120号

正式Asp。计算。 12，第5期，350-371（2000）.

引用于4文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

可测试定时转换系统；实现的实时系统

软件：

Uppaal公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Cardell-Olive}，正式Asp。计算。12，第5号，350-371（2000；Zbl 1013.68120）
全文： DOI程序