bibtex

@inproceedings{HR99,
    title = { Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing },
    author = {Halbwachs, Nicolas and Raymond, Pascal},
    month = {dec},
    year = {1999},
    booktitle = {ASIAN'99, Asian Computing Science Conference},
    address = {Phuket (Thailand)},
    publisher = {LNCS 1742, Springer Verlag},
    team = {SYNC},
}

URL


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

info visites 3901427