Lamia Allal

  • Citations Per Year
Learn More
In a wireless network, an user has the possibility of remaining link while moving in a more or less spread geographical perimeter, it is the reason for which they intend to sometimes speak about "mobility". The wireless Grid represent a new type of network of distribution of means linking up mobile phones and other implements of edge some with the others(More)
Model checking has long been used as a means of verification of formal specifications. This is a verification technique of dynamic systems that explores all possible states of the system. It determines whether the given system satisfies its specification. This technique suffers from the state explosion problem when traversing all possible states of systems.(More)
  • 1