|
ІВ212905 Freibothe, Martin. Ein Ansatz für die verifikationsgerechte Verhaltensmodellierung für die semi-formale Verifikation von Mixed-Signal-Schaltungen [Text] : Diss / M. Freibothe ; Technischen Universität Dresden. Fak. Informatik. - Dresden : [б.в.], 2008. - 122 S.: Abb. - Бібліогр.: S.114-121Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Technischen Universität Dresden. Fak. Informatik
Видання зберігається у :
|
|