Login / Signup
Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification.
Jörg Kayser
Stefan Koerner
Klaus-Dieter Schubert
Published in:
IBM J. Res. Dev. (2002)
Keyphrases
</>
model checking
hw sw
formal methods
real time
signal processing
evolutionary computation