New Verification Approach for Reconfigurable Distributed Systems.

Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Browse the full ICSoft paper archive.