|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Tools and Methods of Program Analysis, TMPA 2013; Kostroma; Russian Federation; 10 October 2013 through 12 October 2013; Category numberP5172; Code 115685сборник
- Год издания: 2013
- Место издания: Institute of Electrical & Electronics Engineers (IEEE)
- Добавил в систему: Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
-
- 2013 Correctness checking of HDL-model behavior based on runtime trace matching
- Ivannikov V.P., Kamkin A.S., Chupilko M.M.
- в сборнике Tools and Methods of Program Analysis, TMPA 2013; Kostroma; Russian Federation; 10 October 2013 through 12 October 2013; Category numberP5172; Code 115685, место издания Institute of Electrical & Electronics Engineers (IEEE), с. 25-30 DOI