Felice Balarin
2 published titles
Hardware-software co-design of embedded systems : the POLIS approach
(Contributor)
1 edition
- ISBN: 0792399366
- Kluwer Academic
- 1997
- Details
Synchronous equivalence : formal methods for embedded systems
(Contributor)
1 edition
- ISBN: 079237262X
- Kluwer Academic Publishers
- 2001
- Details
