OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Ecole des Mines d'Alès (FRANCE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 6.

Lambolais, Thomas and Courbis, Anne-Lise and Luong, Hong-Viet and Percebois, Christian IDF: A framework for the incremental development and conformance verification of UML active primitive components. (2015) Journal of Systems and Software, vol. 113. pp. 275-295. ISSN 0164-1212

Amiot, Fabien and Bornert, Michel and Doumalin, Pascal and Dupré, Jean-Christophe and Fazzini, Marina and Orteu, Jean-José and Poilane, Christophe and Robert, Laurent and Rotinat, René and Toussaint, Eveline and Wattrisse, Bertrand and Wienin, Jean-Samuel Assessment of digital image correlation measurement accuracy in the ultimate error regime: main results of a collaborative benchmark. (2013) Strain, vol. 49 (n°6). pp. 483-496. ISSN 1475-1305

Kamsu-Foguem, Bernard and Chapurlat, Vincent Requirements modelling and formal analysis using graph operations. (2006) International Journal of Production Research, vol. 4 (n° 17). pp. 3451-3470. ISSN 0020-7543

Chapurlat, Vincent and Kamsu-Foguem, Bernard and Prunet, François A formal verification framework and associated tools for enterprise modeling : application to UEML. (2006) Computers in Industry, Vol. 5 (N° 2). pp. 153-166. ISSN 0166-3615

Kamsu-Foguem, Bernard and Chapurlat, Vincent and Prunet, François Vérification de modèles de processus d’entreprise : une approche formelle. (2005) Journal Européen des Systèmes Automatisés (JESA), vol. 3 (n° 9-1). pp. 1051-1078. ISSN 1269-6935

Kamsu-Foguem, Bernard and Chapurlat, Vincent and Prunet, François Enterprise model verification and validation : an approach. (2003) Annual Reviews in Control, vol. 2 (n° 2). pp. 185-197. ISSN 1367-5788

This list was generated on Sun Jun 24 01:10:26 2018 CEST.