キーワード : 同期式回路


シミュレーションを利用した形式的検証システム
森広 芳文 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4 ; pp. 367-377
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
形式的検証シミュレーション状態遷移図同期式回路
 あらまし | 本文:PDF(841.2KB)