モデル・チェッキング

出典: くみこみックス

版間での差分
M (1 版)

2009年3月13日 (金) 07:38の版

モデル・チェッキング【Model Checking】



【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．



関連項目

"http://mix.kumikomi.net/index.php/%E3%83%A2%E3%83%87%E3%83%AB%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0" より作成
表示