Sciweavers

106
Voted
HVC
2007
Springer
153views Hardware» more  HVC 2007»
15 years 21 days 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