From system model formalization towards correct and efficient HW/SW design

M. Jaber, Alexandre Chagoya-Garzon, Frédéric Rousseau. From system model formalization towards correct and efficient HW/SW design. In Proceedings of the 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2013, 26-28 March, 2013, Abu Dhabi, UAE. pages 88-93, IEEE, 2013. [doi]

@inproceedings{JaberCR13,
  title = {From system model formalization towards correct and efficient HW/SW design},
  author = {M. Jaber and Alexandre Chagoya-Garzon and Frédéric Rousseau},
  year = {2013},
  doi = {10.1109/DTIS.2013.6527784},
  url = {http://dx.doi.org/10.1109/DTIS.2013.6527784},
  researchr = {https://researchr.org/publication/JaberCR13},
  cites = {0},
  citedby = {0},
  pages = {88-93},
  booktitle = {Proceedings of the 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2013, 26-28 March, 2013, Abu Dhabi, UAE},
  publisher = {IEEE},
  isbn = {978-1-4673-6038-8},
}