- 2
PG
Pierre-Loïc Garoche
2
Documents
Affiliations actuelles
- 380071
Identifiants chercheurs
- pierre-loic-garoche
- Arxiv : garoche_p_1
- IdRef : 127405690
- 0000-0002-0513-6076
- Google Scholar : https://scholar.google.com/citations?user=KvqkWwwAAAAJ
Présentation
Homepage: [www.garoche.net](https://www.garoche.net)
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
|
A Property-Driven Approach to Formal Verification of Process ModelsEnterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
Article dans une revue
hal-00369884v1
|
|
Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Communication dans un congrès
hal-00160807v1
|