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},
}


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

info visites 4201259