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

Filtrer vos résultats

1 Résultat
hal_authIdPerson_i : 1028185
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