Contribution to Industry 4.0 software engineering: Formal verification of Multi-agent based Automated Guided Vehicles fleet management systems

par Fawzi Azzi

Projet de thèse en Informatique et applications

Sous la direction de Olivier Cardin et de Pascal André.

Thèses en préparation à Nantes Université , dans le cadre de MathSTIC (Nantes) depuis le 01-03-2019 .

Pas de résumé en français disponible.

Pas de résumé disponible.