Login / Signup
Integration of correct-by-construction BIP models into the MetroII design space exploration flow.
Alena Simalatsar
Liangpeng Guo
Marius Bozga
Roberto Passerone
Published in:
ICCD (2012)
Keyphrases
</>
design space exploration
image processing
image segmentation
databases
knowledge base
design space