坂倉 賢昭 | 金沢大学大学院自然科学研究科:(現)京セラ株式会社

スポンサーリンク

概要

• 同名の論文著者
• 金沢大学大学院自然科学研究科:(現)京セラ株式会社の論文著者

関連著者

• 山根 智

  金沢大学自然科学研究科

• 山根 智

  金沢大学自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学工学部情報システム工学科

• 坂倉 賢昭

  金沢大学大学院自然科学研究科:(現)京セラ株式会社

• 坂倉 賢昭

  金沢大学大学院自然科学研究科電子情報科学専攻

著作論文

• UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法(分析・設計技法)
• UMLと価値関数を用いたソフトリアルタイムシステムの設計検証手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

スポンサーリンク