Architectural Verification of Black-Box Component-Based Systems
- Post by:
- December 22, 2024
- Comments off
by Antonia Bertolino, Henry Muccini and Andrea Polini
Reference:
Architectural Verification of Black-Box Component-Based Systems (Antonia Bertolino, Henry Muccini and Andrea Polini), In Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers (Nicolas Guelfi, Didier Buchs, eds.), Springer, volume 4401, 2006.
Bibtex Entry:
@inproceedings{DBLP:conf/rise/BertolinoMP06, author = {Antonia Bertolino and Henry Muccini and Andrea Polini}, editor = {Nicolas Guelfi and Didier Buchs}, title = {Architectural Verification of Black-Box Component-Based Systems}, booktitle = {Rapid Integration of Software Engineering Techniques, Third International Workshop, {RISE} 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4401}, pages = {98--113}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-71876-5_7}, doi = {10.1007/978-3-540-71876-5_7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rise/BertolinoMP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
Categories: