Hardware/Software Co-Verification: Models and Methods

DOI10.1080/716067216zbMath1091.68548OpenAlexW2041277225MaRDI QIDQ4466897

Rached Tourki, Imid E. Bennour, Mohamed Amine Abid

Publication date: 8 June 2004

Published in: Systems Analysis Modelling Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/716067216

zbMATH Keywords

verificationsimulationemulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

This page was built for publication: Hardware/Software Co-Verification: Models and Methods