AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Mokhati Farid

Mokhati Farid

Université Larbi Ben Mhidi de Oum El Bouaghi - Oum El Bouaghi / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 4576350
جامعة العربي بن مهيدي أم البواقي
person_outline Mokhati Farid's MOST POPULAR ARTICLES
1-) Applying model checking to concurrent UML models. J. Object Technol. 7 (1), 59-84, 2008
2-) Verifying UML diagrams with model checking: A rewriting logic based approach Seventh International Conference on Quality Software (QSIC 2007), 356-362, 2007
3-) A novel test case generation approach based on auml sequence diagram 2019 International Conference on Networking and Advanced Systems (ICNAS), 1-4, 2019
4-) Generating Maude Specifications From UML Use Case Diagrams. J. Object Technol. 8 (2), 319-136, 2009
5-) Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. J. Object Technol. 6 (4), 77-102, 2007