Integration of correct-by-construction BIP models into the MetroII design space exploration flow.

Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone

Browse the full ICCD paper archive.