Formal specification and verification of wireless networked self-organized Systems on Chip.

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil

Browse the full CoDIT paper archive.