加藤 雄一郎 他: "拡張時間オートマトン群による実時間システムの記述および検証"電子情報通信学会技術報告(信学技報). 102・616. 13-18 (2003)
加藤 雄一郎 他: "拡張時間オートマトン群による実時間システムの記述および検証"電子情報通信学会技術報告(信学技報). 102・616. 13-18 (2003)
复制标题
Yuichiro Kato 等人：“使用扩展时间自动机组的实时系统的描述和验证”IEICE 技术报告（IEICE 技术报告）13-18（2003）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
