Items where Institution is :Other partners > IMT Mines Alès (FRANCE)
Number of items at this level: 10.
Réquilé, Samuel and Mazian, Brahim and Grégoire, Marie Duleme, Méyi and Borot, Lénaic and Belda, Guilhem and Vergotte, Grégoire and Dray, Gérard and Perrey, Stéphane Effects of visuo-spatial working memory load on auditory attention: behavioural and cortical evidence. (2020) In: 1st International Conference on Cognitive Aircraft Systems - ICCAS 2020, 18 March 2020 - 19 March 2020 (Toulouse, France). (Unpublished)
Sahnoune, Mohamed and Kaci, Mustapha and Taguet, Aurélie and Delbé, Karl 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. (2016) Journal of Systems and Software, 113. 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, 49 (6). 483-496. ISSN 1475-1305
Bazin, Ingrid and Faucet-Marquis, Virginie Kamsu-Foguem, Bernard and Chapurlat, Vincent Requirements modelling and formal analysis using graph operations. (2006) International Journal of Production Research, 4 (17). 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, 5 (2). 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), 3 (9-1). 1051-1078. ISSN 1269-6935
Kamsu-Foguem, Bernard |