Author Details

Garoui, Mohamed, Tunisia

  • Vol 4, No 1 (2014) - Articles
    Formal Verification of Safety Properties for Multi-Agents System in Dynamic Environment: Application to a Platoon System
    Abstract  PDF