|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
The UniTESK Approach to Specification-Based Validation of Hardware Designsстатья
- Автор: Kamkin Alexander
- Сборник: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
- Год издания: 2006
- Добавил в систему: Корныхин Евгений Валерьевич