時間オートマトンによる実時間システムの形式的検証

計測と制御

Online ISSN : 1883-8170
Print ISSN : 0453-4662
ISSN-L : 0453-4662

解説

時間オートマトンによる実時間システムの形式的検証

中田明夫

著者情報

キーワード: 形式的検証, 実時間システム, 時間オートマトン, 並列合成, モデル検査

ジャーナルフリー

2009 年 48 巻 11 号 p. 803-809

DOI https://doi.org/10.11499/sicejl.48.803

詳細

記事の1ページ目

著者関連情報

© 2009 公益社団法人　計測自動制御学会

お気に入り & アラート

関連記事

閲覧履歴

前身誌

Top