Sign in
Towards fully automated TLM-to-RTL property refinement.
Vladimir Herdt
Hoang M. Le
Daniel Große
Rolf Drechsler
Published in:
DATE (2018)
Keyphrases
</>
fully automated
fully automatic
completely automated
semi automated
manual segmentation
labor intensive
image segmentation
image data