Inproceedings,
Modeling and Verification of B-based Distributed Reconfigurable Control Systems.
R. Oueslati, O. Mosbahi, M. Khalgui, and S. Ahmed.PECCS, page 124-131. SciTePress, (2015)
Meta data
- BibTeX key
- conf/peccs/OueslatiMKA15
- entry type
- inproceedings
- booktitle
- PECCS
- year
- 2015
- pages
- 124-131
- publisher
- SciTePress
- crossref
- conf/peccs/2015
- ee
- http://ieeexplore.ieee.org/document/7483742/
- isbn
- 978-989-758-084-0
- url
- http://dblp.uni-trier.de/db/conf/peccs/peccs2015.html#OueslatiMKA15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}