UBICOMM2016

Guellouz, S.; Benzina, A.; Khalgui, M.; Frey, G.: ZiZo: A Complete Tool Chain for the Modeling and Verification of Reconfigurable Function Blocks. 10^th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), pp. 144-151, Venice, Italy, Oct. 2016. (Received UBICOMM 2016 Best Paper Award)