Sciweavers

HVC
2007
Springer
153views Hardware» more  HVC 2007»
13 years 8 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul