Accéder directement au contenu
PG

Pierre-Loïc Garoche

2
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

Homepage: [www.garoche.net](https://www.garoche.net)

Publications

francois-vernadat
Image document

Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study

Benoit Combemale , Pierre-Loïc Garoche , Xavier Crégut , Xavier Thirioux , François Vernadat
9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Communication dans un congrès hal-00160807v1