Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов
- Title
- Автореферат
- Version
- 1.5
- Pages
- 19
- Size
- 539 KB
- Producer
- Microsoft® Word 2010
Open in Browser
|
View Pdf in Internal Viewer
|
Download
539 KB