Architectural Verification of Black-Box Component-Based Systems

Post by:
October 24, 2025
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: