STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Felice Balarin | lit.salon
Felice Balarin
No bio available.
Add one in Open Library.
Books by Felice Balarin (50 max)
+ shelf
+ list
Hardware-software co-design of embedded systems: the POLIS approach
1997
Felice Balarin, F. Balarin, Paolo Di Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Bassam Tabbara, M. Chiodo, Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Kei Suzuki
+ shelf
+ list
Hardware-Software Co-Design of Embedded Systems the POLIS Approach
1997
Felice Balarin
+ shelf
+ list
Synchronous Equivalence: Formal Methods for Embedded Systems
2001
Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli
+ shelf
+ list
TLM-Driven Design and Verification Methodology Ebook
2010
Brian Bailey, Felice Balarin, Michael McNamara, Guy Mosenson, Michael Stellfox
+ shelf
+ list
TLM-Driven Design and Verification Methodology
2010
Brian Bailey, Felice Balarin, Michael McNamara, Guy Mosenson, Michael Stellfox
