Verification techniques for system-level designde Masahiro Fujita, Indradeep Ghosh, Mukul PrasadMateriasFormal methods (Computer science)TestingVerificationIntegrated circuitsSystems on a chipEdiciones Más obras de Masahiro Fujita
EExplosion, Shock Wave and Hypervelocity Phenomena in MateriaExplosion, Shock Wave and Hypervelocity Phenomena in Materials
