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
Two methods of sampling stemwood nutrients have been compared on 10 Pinus pinaster (Ait.) trees: the increment borer method (non-destructive but producing samples which are not weighed according to...
Two methods of sampling stemwood nutrients have been compared on 10 Pinus pinaster (Ait.) trees: the increment borer method (non-destructive but producing samples which are not weighed according to...
Mathematical Methods in Program Development. Springer-Verlag, 1996. (2001)
S. Abiteboul, V. Vianu, B. Fordham, Proc Conf, ...
for electronic commerce. In Proc. 17th ACM Sympos. Principles of Database
Integrating Disequations in the Algebraic and Logic Programming Language LPG (1994)
: This paper gives a brief description of the recent improvements of the algebraic and logic programming language lpg. We mainly introduce the possibility to use disequations (negation of equations),...