教育・研究業績表示   検索トップ

研究者情報
堀田 英一(ホリタ エイイチ/HORITA EIICHI)

所属機関情報
  職名
1 金沢工業大学 基礎教育部 基礎実技教育課程  教授

研究分野を表すキーワード
キーワード
並行分散システム
システム検証

現在の専門分野
  専門分野
1 並行分散システムとその検証. 時刻証明システム.
concurrent distributed systems and their verification. time-stamping systems.

 ・分類: 統計科学

研究テーマ
  研究テーマ
1 並行分散システムとその検証
concurrent distributed systems and their verification

 ・キーワード: 並行分散システム(concurrent distributed system)、システム検証(system verification)
 ・分類: その他
 ・研究様態: 選択しない

ページの先頭へ