Construction d'un platoon en CSPllB

• المؤلفون الرئيسيون: JACQUOT, Jean-Pierre, SOUQUIERES, Jeanine, NGUYEN, Huu Nghia
• التنسيق: Theses and Dissertations
• اللغة: French
• منشور في: 2015
• الموضوعات: CSPIIB; composants logiciel; platoon; vérification formelle
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/338

Ce travail a été réalisé dans le cadre des projets TACOS et CRISTAL qui ont pour but de construire un système des véhicules autonomes en libre-service. Dans ce système, les véhicules peuvent se déplacer en convoi. Nous partons d'une modélisation d'un convoi en CSPjjB. Elle décrit les pr...