山根 智 | 鹿児島大学大学院理工学研究科情報工学専攻
スポンサーリンク
概要
関連著者
-
山根 智
鹿児島大学大学院理工学研究科情報工学専攻
-
山ノ口 崇
鹿児島大学かごしまルネッサンスアカデミー
-
菅藤 真
鹿児島大学大学院理工学研究科情報工学専攻
-
梅田 謹公
鹿児島大学大学院理工学研究科情報工学専攻
-
梅田 謹公
鹿児島大学工学部情報工学科
-
山ノ口 崇
鹿児島大学工学部情報工学科
-
直井 徹
岐阜大学工学部電子情報工学科
-
佐野 範佳
(株)豊田中央研究所
-
瀬口 俊和
鹿児島大学大学院理工学研究科情報工学専攻
-
瀬口 俊和
鹿児島大学工学部
-
直井 徹
岐阜大学
-
山ノ口 崇
鹿児島大学工学研究科情報工学専攻
著作論文
- プログラムスライシングによるプログラムのモデル検査手法
- 演繹的モデル検査による自動詳細化検証手法
- OSスケジューラプログラムの自動検証の実験的研究
- 制御ソフトウェアの開発方法論 : 制御理論と計算機科学の横断的設計アプローチ
- E-commerceソフトウェアの形式的開発方法論
- Assume-Guarantee形式による実時間ソフトウェアの演繹的詳細化検証手法
- 実時間システムの演繹的検証と自動検証の実験的研究
- 実時間システムの演繹的検証