Verification of component-based embedded system designs
by Daniel Karlsson
Bok Engelsk 2006
| Utgitt | Linköping : Department of Computer and Information Science, Linköpings universitet , 2006
|
|---|---|
| Omfang | 294 s. : ill.
|
| Opplysninger | Avhandling (tekn. dr.) - Linköpings universitet, 2006
|
| Emner | Doktoravhandlinger
|
| ISBN | 9185523798
|
