Co-verification of hardware and software in embedded systems
Co-verification of hardware and software in embedded systems
Saved in:
| Physical Description |
50 sivua |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Language of Abstract |
Finnish |
| Publisher |
[Turku] :
Turun yliopisto,
2008.
|
| Dissertation Note | Diplomityö : Turun yliopisto, Informaatioteknologian laitos |
| Subjects | |
| Additional Information | Risto Virtanen |