年 〜
年

検索結果 3 件

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

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

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

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

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

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

検索結果は以上です。