米田 友洋

• Symbolic Verification of Statecharts 

  J.Philipps, T.Yoneda

  IEICE Technical Report (FTS-95) 49 - 56 1995年1月  
• ハードリアルタイムシステムの検証(解説) 

  米田

  情報処理 35(1) 41 - 47 1994年1月  
• タイムペトリネットの拡張とスケジューラビリティーの検証への応用 

  大川,米田

  電子情報通信学会技術研究報告 (FTS-94) 31 - 36 1994年1月  
• タイムペトリネットの効率的解析について 

  富田,米田

  FTC研究会資料 1994年1月  
• 誤差の影響を低減する相互結合型ニューラルネットワークの構成 

  西川, 蓑原,米田

  FTC研究会資料 1994年1月  
• 分岐時相論理に基づく検証方式の高速化について 

  近,米田

  電子情報通信学会技術研究報告 (FTS-92) 9 - 16 1993年1月  
• 線形時相論理の為の効率的記号モデル検査方式 

  中根,米田

  電子情報通信学会技術研究報告 (FTS-93) 65 - 72 1993年1月  
• Speed dependentな非同期式回路の階層的検証について 

  本間,米田

  FTC研究会資料 1993年1月