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