Verimag

bibtex

@inproceedings{CRB+08,
    title = {Translating AADL into BIP - Application to the Verification of Real-Time Systems },
    author = {Chkouri, Mohamed Yassin and Robert, Anne and Bozga, Marius and Sifakis, Joseph},
    year = {2008},
    booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers},
    pages = {5-19},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5421},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 776363