Modeling and Verification of B-based Distributed Reconfigurable Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed. Modeling and Verification of B-based Distributed Reconfigurable Control Systems. In César Benavente-Peces, Olivier Paillet, Andreas Ahrens, editors, PECCS 2015 - Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems, ESEO, Angers, Loire Valley, France, 11-13 February, 2015. pages 124-131, SciTePress, 2015. [doi]

This author has not been identified. Look up 'Raja Oueslati' in GoogleThis author has not been identified. Look up 'Olfa Mosbahi' in GoogleThis author has not been identified. Look up 'Mohamed Khalgui' in GoogleThis author has not been identified. Look up 'Samir Ben Ahmed' in Google

runs on WebDSL