Embedded system design : modeling, synthesis and verification - Gajski, Daniel D. (Dordrecht ; New York : Springer, 2009)
Includes bibliographical references (p. [335]-347) and index.
Hard binding
Keywords: Embedded computer systems -- Design and construction; Programmatuurtechniek; Embedded systems; Modellen (vorm); Eingebettetes System