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

Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone. Integration of correct-by-construction BIP models into the MetroII design space exploration flow. In 30th International IEEE Conference on Computer Design, ICCD 2012, Montreal, QC, Canada, September 30 - Oct. 3, 2012. pages 490-491, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.