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


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

info visites 3901097