Toufik Smaal

Université de Bouira - Bouïra / Algeria

Others

AD Scientific Index ID: 4372059

University of Bouira

Registration, Add Profile,
Premium Membership

Print Your Certificate

Toufik Smaal's MOST POPULAR ARTICLES

1-) Applying model checking to concurrent UML models.P Gagnon, F Mokhati, M BadriJ. Object Technol. 7 (1), 59-84, 2008372008

2-) Verifying UML diagrams with model checking: A rewriting logic based approachF Mokhati, P Gagnon, M BadriSeventh International Conference on Quality Software (QSIC 2007), 356-362, 2007302007

3-) A novel test case generation approach based on auml sequence diagramNEH Dehimi, F Mokhati2019 International Conference on Networking and Advanced Systems (ICNAS), 1-4, 2019222019

4-) Generating Maude Specifications From UML Use Case Diagrams.F Mokhati, M BadriJ. Object Technol. 8 (2), 319-136, 2009212009

5-) Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols.F Mokhati, N Boudiaf, M Badri, L BadriJ. Object Technol. 6 (4), 77-102, 2007192007

ARTICLES

Add your articles