論文

査読有り
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
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)