Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil. Formal specification and verification of wireless networked self-organized Systems on Chip. In International Conference on Control, Decision and Information Technologies, CoDIT 2014, Metz, France, November 3-5, 2014. pages 730-735, IEEE, 2014. [doi]
@inproceedings{DaoudTBH14,
title = {Formal specification and verification of wireless networked self-organized Systems on Chip},
author = {Hayat Daoud and Camel Tanougast and Mostefa Belarbi and Mikael Heil},
year = {2014},
doi = {10.1109/CoDIT.2014.6996987},
url = {http://dx.doi.org/10.1109/CoDIT.2014.6996987},
researchr = {https://researchr.org/publication/DaoudTBH14},
cites = {0},
citedby = {0},
pages = {730-735},
booktitle = {International Conference on Control, Decision and Information Technologies, CoDIT 2014, Metz, France, November 3-5, 2014},
publisher = {IEEE},
isbn = {978-1-4799-6773-5},
}