A Formal Component Framework for Distributed Embedded Systems

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma. A Formal Component Framework for Distributed Embedded Systems. In Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau, editors, Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Volume 4063 of Lecture Notes in Computer Science, pages 206-221, Springer, 2006. [doi]

@inproceedings{AngelovSMM06,
  title = {A Formal Component Framework for Distributed Embedded Systems},
  author = {Christo Angelov and Krzysztof Sierszecki and Nicolae Marian and Jinpeng Ma},
  year = {2006},
  doi = {10.1007/11783565_15},
  url = {http://dx.doi.org/10.1007/11783565_15},
  researchr = {https://researchr.org/publication/AngelovSMM06},
  cites = {0},
  citedby = {0},
  pages = {206-221},
  booktitle = {Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings},
  editor = {Ian Gorton and George T. Heineman and Ivica Crnkovic and Heinz W. Schmidt and Judith A. Stafford and Clemens A. Szyperski and Kurt C. Wallnau},
  volume = {4063},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35628-2},
}