Yazar
Harry Hsieh
3 cilt bulundu.
Cilt sonuçları
Synchronous Equivalence
Harry Hsieh · Springer US
136 sayfa · 2001
Systems engineering / Electronic data processing / Engineering / Computer-aided design / Computer engineering
Synchronous equivalence
Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli · Springer
136 sayfa · 2001
Embedded computer systems / Formal methods (Computer science) / Computer science
Hardware-software co-design of embedded systems
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 · Springer
311 sayfa · 1997
Development / Embedded computer systems / Computer-aided design / Programmable controllers / Computer software