Imai Takashi | <label><sup>1</sup></label>Department of Physics and Astronomy, McMaster University, Hamilton, Ontario L8S4M1, Canada
スポンサーリンク
概要
- Imai Takashiの詳細を見る
- 同名の論文著者
- <label><sup>1</sup></label>Department of Physics and Astronomy, McMaster University, Hamilton, Ontario L8S4M1, Canadaの論文著者
論文 | ランダム
- オーストラリア南方中央部産の乾燥気候に適応した更新世中期の脊椎動物群集(地球科学の窓)
- B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
- 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
- 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
- 代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察