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]
Abstract is missing.