| Login | Create Account |
Items where Laboratory is "Laboratoire de Génie Informatique et d’Ingénierie de Production - LGI2P (Nîmes, France)"
Group by: Item Type | No Grouping Number of items: 4. 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 |
