Verification of component-based embedded system designs
By: by Daniel Karlsson
Series: Linko ping studies in science and technology. Dissertation -- 1017; Linko ping studies in science and technology -- 1017.
Publisher: Department of Computer and Information Science, Linko ping University
Published: 2006
Place of publication: Linko ping
Language: eng
Number of pages: 294
ISBN-13: 9789185523795
Subjects: Embedded computer systems; Inbyggda system
Notes: Diss. Linko ping : Linko pings universitet, 2006.