ICSOFT2017

Khlifi, Oussama; Mosbahi, Olfa; Khalgui, Mohamed; Frey, Georg: New Verification Approach for Reconfigurable Distributed Systems. The 12th International Conference on Software Engineering and Applications (ICSOFT 2017), Madrid, Spain, July 2017. [ACCEPTED]