Embedded system design : modeling, synthesis and verification /

Includes bibliographical references (p. [335]-347) and index.

Detalhes bibliográficos
Autor principal: Gajski, Daniel D.
Formato:
Idioma:eng
Publicado em: Dordrecht ; New York : Springer, c200
Assuntos:
Descrição
Resumo:Includes bibliographical references (p. [335]-347) and index.