Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

1 Résultat
authFullName_s : Emmanuel Gaudin
Image document

Automatic Verification of BPMN Models

Mihal Brumbulli , Emmanuel Gaudin , Ciprian Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès hal-02441878v1