Amel Meliouh, Allaoua Chaoui. Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. IJCSSA, 6(2):42-58, 2018. [doi]
@article{MeliouhC18, title = {Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language}, author = {Amel Meliouh and Allaoua Chaoui}, year = {2018}, doi = {10.4018/IJCSSA.2018070103}, url = {https://doi.org/10.4018/IJCSSA.2018070103}, researchr = {https://researchr.org/publication/MeliouhC18}, cites = {0}, citedby = {0}, journal = {IJCSSA}, volume = {6}, number = {2}, pages = {42-58}, }