A Property-Driven Approach to Formal Verification of Process Models

Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux, François Vernadat
January 2008
Cite DOI
Type
Book section
Publication
Enterprise Information Systems
"own"
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related