From system specifications to component behavioral models

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic. From system specifications to component behavioral models. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume. pages 315-318, IEEE, 2009. [doi]

@inproceedings{KrkaEBM09,
  title = {From system specifications to component behavioral models},
  author = {Ivo Krka and George Edwards and Yuriy Brun and Nenad Medvidovic},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5071010},
  url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071010},
  researchr = {https://researchr.org/publication/KrkaEBM09},
  cites = {0},
  citedby = {0},
  pages = {315-318},
  booktitle = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume},
  publisher = {IEEE},
  isbn = {978-1-4244-3494-7},
}