Embedded system design : modeling, synthesis and verification /

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

Bibliographic Details
Main Author: Gajski, Daniel D.
Format:
Language:eng
Published: Dordrecht ; New York : Springer, c200
Subjects:
_version_ 1826453400086118400
author Gajski, Daniel D.
author_facet Gajski, Daniel D.
author_sort Gajski, Daniel D.
collection OCEAN
description Includes bibliographical references (p. [335]-347) and index.
first_indexed 2024-03-05T12:37:47Z
format
id KOHA-OAI-TEST:482619
institution Universiti Teknologi Malaysia - OCEAN
language eng
last_indexed 2024-03-05T12:37:47Z
publishDate c200
publisher Dordrecht ; New York : Springer,
record_format dspace
spelling KOHA-OAI-TEST:4826192020-12-19T17:17:48ZEmbedded system design : modeling, synthesis and verification / Gajski, Daniel D. Dordrecht ; New York : Springer,c2009.engIncludes bibliographical references (p. [335]-347) and index.MJIITLEmbedded computer systemsURN:ISBN:9781441905031 (hbk.)
spellingShingle Embedded computer systems
Gajski, Daniel D.
Embedded system design : modeling, synthesis and verification /
title Embedded system design : modeling, synthesis and verification /
title_full Embedded system design : modeling, synthesis and verification /
title_fullStr Embedded system design : modeling, synthesis and verification /
title_full_unstemmed Embedded system design : modeling, synthesis and verification /
title_short Embedded system design : modeling, synthesis and verification /
title_sort embedded system design modeling synthesis and verification
topic Embedded computer systems
work_keys_str_mv AT gajskidanield embeddedsystemdesignmodelingsynthesisandverification