論文

査読有り 本文へのリンクあり 国際共著
2013年

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Integrated Formal Methods, 10th International Conference, iFM 2013
  • Daisuke Ishii
  • ,
  • Guillaume Melquiond
  • ,
  • Shin Nakajima

担当区分
筆頭著者, 責任著者
LNCS 7940
開始ページ
139
終了ページ
153
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-642-38613-8_10
出版者・発行元
Springer

リンク情報
DOI
https://doi.org/10.1007/978-3-642-38613-8_10
URL
http://hal.inria.fr/hal-00806701 本文へのリンクあり