Jump to main content

yr 〜
yr

Search results 3

レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究

レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究
Paper図書
米田友洋, 国立情報学研究所 [著][米田友洋]2003-2004<Y151-H15300009>
National Diet Library
  • Subject Headingリアルタイムソフトウェア / 形式的検証 / レベルタイムペトリネット / Partial order reduction / 階層的検証

超高速非同期式システムのための設計および検証ツ-ルに関する研究

超高速非同期式システムのための設計および検証ツ-ルに関する研究
Paper図書
米田, 友洋, 国立情報学研究所2000-2002<Y151-H12680334>
National Diet Library
  • Subject Heading非同期式回路 形式的検証 3値2線式符号 高位記述 有限幅遅延モデル タイムペトリネツト Partial order reduction

有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究

有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究
Paper図書
米田, 友洋, 東京工業大学1997-1998<Y151-H09680329>
National Diet Library
  • Subject Heading形式的検証 非同期式回路 有限遅延幅モデル タイムペトリネツト 時間トレース理論 Partial order reduction

Reached to the end of result.

RSS