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

Benoit Combemale, Pierre-Loic Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
June 2007
Cite
Type
Conference paper
Publication
International Conference on Enterprise Information Systems (ICEIS), Funchal, Madeira - Portugal, 12/06/07-16/06/07
"own"
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related