bibtex

@inproceedings{SGB+12,
    title = {Integration of correct-by-construction BIP models into the MetroII design space exploration flow },
    author = {Simalatsar, Alena and Guo, Liangpeng and Bozga, Marius and Passerone, Roberto},
    year = {2012},
    booktitle = {30th International IEEE Conference on Computer Design, ICCD 2012, Montreal, QC, Canada, September 30 - Oct. 3, 2012},
    pages = {490-491},
    publisher = {IEEE Computer Society},
    team = {DCS, RSD},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4088284