Djeddi, Chabane, LIRE Laboratory, Constantine 2- Abdelhamid Mehri University, Algeria, Algeria

• Computer Science Vol. 22 No. 3 - Articles
  Formal verification of the extension of iStar to support Big data projects
  Abstract  PDF