Modeling Airport Security: the EDEMOI 1 approach (2008)
Y. Ledru, M. Lemoine, D. Bert, V. Donzeau-gouge, C. Dubois, R. Laleau, ...
The security of civil aviation is governed by a series of international standards and recommended practices that detail the responsibilities of the various stakeholders (states, operators,...
methods to model airport security (2008)
Yves Ledru, Régine Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau, ...
attempt to combine UML and formal methods to model
J. Cazin, P. Cros, J. L. Durieux, M. Lemoine, P. Michel Assistance
[7] J. Cazin and al. Aspects formels du g'enie logiciel et du g'enie de la connaissance. Etude Dret n. 3401/01/Deri, Centre d'Etudes et de Recherches de Toulouse, 1991. Etudes de base...
Riou, P., Le Pape, O., Rogers, S., Lemoine, M.
La Manche Est (division CIEM 7D) est considérée comme une unité de gestion pour les stocks de sole commune (Solea solea) et de plie (Pleuronectes platessa). A cette échelle, l'objectif de ce...
Rigorous Analysis and Design for Software Intensive Systems (1999)
S. Jähnichen, M. Lemoine, T. Maibaum, M. Wirsing
State Machine based run time analysis with structural design and verification methods. (Joint work with Wolfram Schulte (Microsoft Research Redmond), to appear in TSE 2000.) Methodology for Model...
Une nouvelle citation du Timée chez Augustin (1994)
On rencontre chez Augustin deux passages traduits de Platon et se situant respectivement dans la première et la seconde lacune. Il s'agit vraisemblablement, là aussi, d'emprunts à la traduction...
Intérêts des saules et des peupliers pour le déboisement des marais desséchés de l'ouest (1992)
Terrasson, D., Deboisse, G., Lemoine, M., Duval, H., Mallard, J.P.
Coastal areas of W. France include drained, intensively cultivated land (animal husbandry and cereals), which are typically on clay-rich soils with salinity at depth, in exposed situations. In order...
Analyse et gestion des pêcheries côtières : nécessité d'une nouvelle démarche ? (1991)
Durand, J.L., Farrugio, H., Lemoine, M.
La pêche artisanale contribue pour la moitié des prises de poissons au Brésil. Cependant, en dépit de son importance, elle n'a pas bénéficié des mêmes crédits et services que ceux accordés...
Dintheer, C., Gilly, B., Le Gall, J.Y., Lemoine, M., Rose, J.
The penaeid prawn resources occuring off French Guyana are biogeographically part of the large homogenous populations of the northern coast of South America from Northern Brazil, French Guyana,...
A missing-mass spectrometer for momenta below 1.5 GeV/c (1990)
D'Agostini, Giulio, Arrignon, M, Auriemma, G, Bézaguet, Alain-Arthur, De Brion, J P, Caillet, A, ...
Bréhin, S., Brisson, J.C., Lemoine, M., Raoul, J.C.
L'utilisation de circuits intégrés rapides pour la construction de logiques de déclenchement de chambres à étincelles permet d'obtenir des temps de traitement des informations inférieurs à 100...