|
|
|
|
| LEADER |
00000naa2a2200000 4500 |
| 001 |
380788 |
| 005 |
20231101062731.0 |
| 035 |
|
|
|a (RuTPU)RU\TPU\prd\2464
|
| 090 |
|
|
|a 380788
|
| 100 |
|
|
|a 20020320a2002 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 200 |
1 |
|
|a VHDL-симулятор как средство верификации поведенческих моделей блоков встроенных систем
|f В. Е. Третьяков, Н. Н. Шарипова, Э. А. Завадская
|
| 225 |
1 |
|
|a Автоматизация и механизация научно-исследовательских и производственных процессов
|
| 320 |
|
|
|a Библиогр.: 5 назв.
|
| 461 |
|
1 |
|0 (RuTPU)RU\TPU\prd\1282
|x 0869-4931
|t Автоматизация и современные технологии
|o межотраслевой научно-технический журнал
|d 1992-
|
| 463 |
|
1 |
|0 (RuTPU)RU\TPU\prd\2113
|t № 1
|v С. 7-11
|d 2002
|
| 610 |
1 |
|
|a модели
|
| 610 |
1 |
|
|a языки моделирования
|
| 610 |
1 |
|
|a автоматизация
|
| 610 |
1 |
|
|a триггеры
|
| 675 |
|
|
|a 658.512.011.56
|v 3
|
| 700 |
|
1 |
|a Третьяков
|b В. Е.
|
| 701 |
|
1 |
|a Шарипова
|b Н. Н.
|
| 701 |
|
1 |
|a Завадская
|b Э. А.
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20020320
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20120220
|g PSBO
|
| 942 |
|
|
|c BK
|
