DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.

Allon Adir Roy Emek Yoav Katz Anatoly Koyfman

Published in: MTV (2003)

Keyphrases

functional verification
software engineering
software development
machine translation
high speed
computer systems
cross language information retrieval