Verimag

bibtex

@inproceedings{Job10,
    title = {Robustness with Respect to Error Specifications },
    author = {Jobstmann, Barbara},
    year = {2010},
    booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK},
    pages = {72},
    publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
    team = {DCS},
}

Publication Sections


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

info visites 874689