Arnaud Lanoix

Université de Nantes - Nantes / France

Others

AD Scientific Index ID: 1708119

University of Nantes

Registration, Add Profile,
Premium Membership

Print Your Certificate

Arnaud Lanoix's MOST POPULAR ARTICLES

1-) Ionization of multiwire proportional chamber gas by double photon absorptionJ Bourotte, B SadouletNuclear Instruments and Methods 173 (3), 463-470, 1980731980

2-) Using temporal logic for dynamic reconfigurations of componentsJ Dormoy, O Kouchnarenko, A LanoixInternational Workshop on Formal Aspects of Component Software, 200-217, 2010622010

3-) Event-B specification of a situated multi-agent system: Study of a platoon of vehiclesA Lanoix2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008552008

4-) Combining proof and model-checking to validate reconfigurable architecturesA Lanoix, J Dormoy, O KouchnarenkoElectronic Notes in Theoretical Computer Science 279 (2), 43-57, 2011442011

5-) Component adaptation: Specification and verificationI Mouakher, A Lanoix, J Souquieres11th International Workshop on Component Oriented Programming-WCOP 2006, 8, 2006352006

ARTICLES

Add your articles