bibtex

@inproceedings{BCG+11,
    title = {Specification-centered robustness },
    author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas A. and Jobstmann, Barbara},
    year = {2011},
    booktitle = {Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on, Vasteras, Sweden, 15-17 June, 2011},
    pages = {176-185},
    publisher = {IEEE},
    team = {DCS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121961