2016年1月25日
招待講演 区間解析による時相論理式の頑健性モニタリング (システム数理と応用)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
- 巻
- 115
- 号
- 419
- 開始ページ
- 59
- 終了ページ
- 62
- 記述言語
- 日本語
- 掲載種別
- 出版者・発行元
- 電子情報通信学会
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/40020736524
- ID情報
-
- ISSN : 0913-5685
- CiNii Articles ID : 40020736524
- identifiers.cinii_nr_id : 9000316196858