@inproceedings{seghiri:hal-03025335, TITLE = {{A Maude based Specification for SoS Architecture}}, AUTHOR = {Seghiri, Akram and Belala, F. and Benzadri, Z. and Hameurlain, Nabil}, URL = {https://univ-pau.hal.science/hal-03025335}, BOOKTITLE = {{2018 13th Annual Conference on System of Systems Engineering (SoSE)}}, ADDRESS = {Paris, France}, PUBLISHER = {{IEEE}}, PAGES = {45-52}, YEAR = {2018}, MONTH = Jun, DOI = {10.1109/SYSOSE.2018.8428738}, HAL_ID = {hal-03025335}, HAL_VERSION = {v1}, }