禹 英喜 | Depatrment of Cardiovascular Surgery, Osaka Medical College Hospital
スポンサーリンク
概要
論文 | ランダム
- オーストラリア南方中央部産の乾燥気候に適応した更新世中期の脊椎動物群集(地球科学の窓)
- B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
- 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
- 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
- 代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察