Formal Methods in Testing Software Architectures

Formal Methods in Testing Software Architectures

  • Post by:
  • November 5, 2024
  • Comments off
by Antonia Bertolino, Paola Inverardi and Henry Muccini
Reference:
Formal Methods in Testing Software Architectures (Antonia Bertolino, Paola Inverardi and Henry Muccini), In Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures (Marco Bernardo, Paola Inverardi, eds.), Springer, volume 2804, 2003.
Bibtex Entry:
@inproceedings{DBLP:conf/sfm/BertolinoIM03,
  author       = {Antonia Bertolino and
                  Paola Inverardi and
                  Henry Muccini},
  editor       = {Marco Bernardo and
                  Paola Inverardi},
  title        = {Formal Methods in Testing Software Architectures},
  booktitle    = {Formal Methods for Software Architectures, Third International School
                  on Formal Methods for the Design of Computer, Communication and Software
                  Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
                  22-27, 2003, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2804},
  pages        = {122--147},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39800-4_7},
  doi          = {10.1007/978-3-540-39800-4_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/BertolinoIM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Categories: