|
004.031.6 A22
Advances in design methods from modeling languages for embedded systems and soc’s [Electronic resource] : selected contributions on specification, design, and verification from FDL 2009 / ed. D. Borrione. - Electronic text data. - Dordrecht : Springer, 2010. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 63). - ISBN 978-90-481-9304-2 : Б. ц.
Кл.слова (ненормированные): вычислительные системы встроенные -- системы на кристалле -- проектирование -- спецификация -- верификация
См. : Текст издания Доп.точки доступа: Borrione, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|