モデル・チェッキング
出典: くみこみックス
版間での差分
M (1 版) |
最新版
モデル・チェッキング【Model Checking】
【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.
関連項目
- プロパティ・チェッキング(同義語)
M (1 版) |
モデル・チェッキング【Model Checking】
【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.