Login / Signup
Abstracting from Register-Transfer to Algorithmic Level for Verification.
Jens Schönherr
Published in:
MBMV (2010)
Keyphrases
</>
information technology
database
data sets
multi agent systems
lower level
levels of abstraction
formal verification
verification method