姿 善規 | 山口大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
山口 真悟
山口大学大学院理工学研究科
-
田中 稔
山口大学大学院理工学研究科
-
姿 善規
山口大学大学院理工学研究科
-
田中 稔
山口大学工学部知能情報システム工学科
-
栗栖 隆一
山口大学工学部
-
山口 真悟
山口大学工学部
-
姿 善規
山口大学工学部
著作論文
- D-3-2 割り込みシステムに対するモデル検査ツールSPINを用いたハングアップの検証(D-3.ソフトウェアサイエンス,一般講演)
- 割り込み処理のDelegationに基づく設計方法およびモデル検査方法について
- D-3-4 delegationイベントモデルに基づく割り込み処理のUMLモデリング(D-3.ソフトウェアサイエンス,一般講演)