Embedded system design: modeling synthesis and verification
Gajski, Daniel D. … [et al.]
Embedded system design: modeling synthesis and verification - Springer 2006
9788132211068
004.21 / T06 GAJ.A
Embedded system design: modeling synthesis and verification - Springer 2006
9788132211068
004.21 / T06 GAJ.A