bibtex

@inproceedings{FJN+11,
    title = {Runtime Verification of Component-Based Systems },
    author = {Falcone, Ylies and Jaber, Mohamad and Nguyen, Thanh-Hung and Bozga, Marius and Bensalem, Saddek},
    year = {2011},
    booktitle = {Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
    pages = {204-220},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7041},
    team = {DCS, RSD},
}


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

info visites 4121950