Backup source of Publications (No. 3)

• List of Backups
• View the diff.
• View the diff current.
• Go to Publications.
  • 1 (2014-08-01 (Fri) 09:26:51)
  • 2 (2014-08-01 (Fri) 09:27:16)
  • 3 (2015-01-21 (Wed) 02:14:39)
  • 4 (2015-04-24 (Fri) 14:19:36)
  • 5 (2017-03-02 (Thu) 03:21:30)
  • 6 (2017-03-17 (Fri) 03:10:05)
  • 7 (2017-03-17 (Fri) 06:49:34)
  • 8 (2019-08-15 (Thu) 08:24:04)

- [http://www.jstage.jst.go.jp/article/jssst/28/1/1_306/_pdf/-char/ja/ 上田和紀，細部博史，石井大輔：ハイブリッド制約言語HydLaの宣言的意味論，コンピュータソフトウェア，Vol.28, No.1 (2011), pp.306-311.]

- [http://www.jstage.jst.go.jp/article/jssst/28/3/3_167/_pdf 渋谷俊，高田賢士郎，細部博史，上田和紀：ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム，コンピュータソフトウェア，Vol.28, No.3 (2011), pp. 167-172.]

- ​[http://www.ueda.info.waseda.ac.jp/~ueda/pub/HydLa-LfSA2012.pdf Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii: HydLa: A High-Level Language for Hybrid Systems. In Proc. Second Workshop on Logics for System Analysis (LfSA 2012, affiliated with CAV 2012), July 2012, pp.3-17.]