Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
- Title
- (Microsoft Word - ÔÏÌÊ2017end.doc)
- Version
- 1.x
- Pages
- 4
- Size
- 148 KB
- Producer
- ABBYY FineReader 12
Open in Browser
|
View Pdf in Internal Viewer
|
Download
148 KB
