川守田 慶 | 神奈川大学大学院理学研究科情報科学専攻

スポンサーリンク

概要

• 川守田 慶の詳細を見る
• 同名の論文著者
• 神奈川大学大学院理学研究科情報科学専攻の論文著者

関連著者

• 野口 健一郎

  神奈川大学理学部情報科学科

• 川守田 慶

  神奈川大学大学院理学研究科情報科学専攻

• 野口 健一郎

  神奈川大学大学院理学研究科情報科学専攻

著作論文

• B-036 拡張状態遷移技法を用いた仕様検証の実験 : 組込み用OS試作への適用(ソフトウェア,一般論文)
• B-035 形式手法を用いた組込み用OSの試作 : Bメソッドによる仕様検証実験(ソフトウェア,一般論文)
• B-008 組込み用を目指したOSのセキュリティの研究 : MINIX3のセキュリティ機能の評価と強化の実験(B分野:ソフトウェア)

スポンサーリンク