Publications of Mahieddine Djoudi
Reference (inproceedings)
A. Alti, M. Djoudi, "Formal Specification and Verification of Software Architecture Behavioral Concepts using UML 2.0 Profile and B", The 10th Maghrebian Conference on Information Technologies (MCSEAI'08), Oran (Algeria), April 28-30 2008, pp 1-6.
XML DBLP entry
<dblp> <inproceedings key="Alti_MCSEAI08"> <author>Adel Alti, Mahieddine Djoudi</author> <title>Formal Specification and Verification of Software Architecture Behavioral Concepts using UML 2.0 Profile and B</title> <booktitle>The 10th Maghrebian Conference on Information Technologies (MCSEAI'08), Oran (Algeria)</booktitle> <month>April 28-30</month> <year>2008</year> <pages>pp 1-6</pages> </inproceedings> </dblp>