論文

査読有り
2012年7月

HydLa: A High-Level Language for Hybrid Systems

The 2nd Workshop on Logics for System Analysis (LfSA2012)
  • Kazunori Ueda
    • ,
  • Shota Matsumoto
    • ,
  • Akira Takeguchi
    • ,
  • Hiroshi Hosobe
    • ,
  • Daisuke Ishii
開始ページ
3
終了ページ
17
記述言語
英語
掲載種別
研究論文（国際会議プロシーディングス）
エクスポート
BibTeX RIS
論文リストへ