Verimag

bibtex

@inproceedings{CBS08,
    title = {Translating AADL into BIP - Application to the Verification of Real-time Systems },
    author = {Chkouri, Mohamed Yassin and Bozga, Marius and Sifakis, Joseph},
    month = {October},
    year = {2008},
    booktitle = {Workshops and Symposia at MODELS 2008},
    address = {Toulouse, France},
    pages = {5-19},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 19 ; visits: 391633