Harry Hsieh
Hsieh Harry, Balarin Felice, Sangiovanni-Vincentelli Alberto:
Synchronous Equivalence
Formal Methods For Embedded Systems
Kluwer Academic Publishers Group (Netherlands), 2000
Hardback, 152 pages
Balarin Felice, Sangiovanni-Vincentelli Alberto, Suzuki Kei, Giusto Paolo Di, Jurecska Attila, Passerone Claudio, Sentovich Ellen, Tabbara Bassam, Chiodo M., Hsieh Harry:
Hardware-Software Co-Design Of Embedded Systems
The Polis Approach
Kluwer Academic Publishers Group (Netherlands), 1997
Hardback, 324 pages


