Components and Contracts for Embedded Software

Shuyu Li, XiaoJiang Li, Jian Wu. Components and Contracts for Embedded Software. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 19-24, IEEE Computer Society, 2005. [doi]

@inproceedings{LiLW05,
  title = {Components and Contracts for Embedded Software},
  author = {Shuyu Li and XiaoJiang Li and Jian Wu},
  year = {2005},
  url = {http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080019abs.htm},
  tags = {software components, contracts, embedded software, software component, software contracts},
  researchr = {https://researchr.org/publication/LiLW05},
  cites = {0},
  citedby = {0},
  pages = {19-24},
  booktitle = {12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2308-0},
}