%0 Conference Paper %1 conf/peccs/OueslatiMKA15 %A Oueslati, Raja %A Mosbahi, Olfa %A Khalgui, Mohamed %A Ahmed, Samir Ben %B PECCS %D 2015 %E Benavente-Peces, César %E Paillet, Olivier %E Ahrens, Andreas %I SciTePress %K %P 124-131 %T Modeling and Verification of B-based Distributed Reconfigurable Control Systems. %U http://dblp.uni-trier.de/db/conf/peccs/peccs2015.html#OueslatiMKA15 %@ 978-989-758-084-0

@inproceedings{conf/peccs/OueslatiMKA15, added-at = {2023-12-12T17:30:40.000+0100}, author = {Oueslati, Raja and Mosbahi, Olfa and Khalgui, Mohamed and Ahmed, Samir Ben}, biburl = {https://www.bibsonomy.org/bibtex/2c12bb598e0ed06aa6d91bd282805c6f9/admin}, booktitle = {PECCS}, crossref = {conf/peccs/2015}, editor = {Benavente-Peces, César and Paillet, Olivier and Ahrens, Andreas}, ee = {http://ieeexplore.ieee.org/document/7483742/}, interhash = {04baf0d4d79a8ba50d125b8d22ae96c5}, intrahash = {c12bb598e0ed06aa6d91bd282805c6f9}, isbn = {978-989-758-084-0}, keywords = {}, pages = {124-131}, publisher = {SciTePress}, timestamp = {2023-12-12T17:30:40.000+0100}, title = {Modeling and Verification of B-based Distributed Reconfigurable Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/peccs/peccs2015.html#OueslatiMKA15}, year = 2015 }