Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Balarin, Felice."
Hardware-software co-design of embedded systems : the POLIS approach / by Felice Balarin ... [et al.].
- Text
- Boston : Kluwer Academic Publishers, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 98-18 Offsite Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
- Text
- Boston : Kluwer Academic Publishers, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text TK7895.E42 H75 2001 Off-site ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal / edited by Johan Lilius, Felice Balarin, Ricardo J. Machado ; co-sponsored by IPIP WG10.5 ... [et al.] ; in cooperation with FME--Formal Methods Europe ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 I563 2003g Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
