Volume 46: Automated Verification of Critical Systems 2011

Besides measured indicators and simple indicators based on management data, we focus on predictive indicators derived from operational models and adapted to ex ante assessment

Ce cadre permet d’analyser les facteurs affectant la biodiversit e aviaire en pay- sage de grandes cultures selon trois niveaux, qu’il est possible de relier a des leviers d’action

This model leads, after time discretization, to a Stokes system with non standard dissipative boundary conditions that cannot be easily and directly implemented in most FEM software,

Shokri et al 15 who studied the effect of exercise and supraphysiological doses of Nandrolone on sperm characteristics in male mature rats revealed that exercise and

It seems that even if courts do not conduct a green field litigation, in the sense that they have to rule on the legality of an administrative decision adopted following a long

thaliana developing seeds of the receptor VSR1;1, a major vacuolar receptor for storage proteins (Shimada et al ., 2003) had no massive impact on oil and on protein quantity

Pour ^ etre oxyg en es, que cette oxyg ena- tion ait lieu spontan ement dans un pro- cessus dit d’auto-oxydation ou sous l’action d’oxyg enases sp ecifiques, les acides

The main questions discussed in this article are: a ) In the context of private competition law enforcement, what is the role of collective redress? b ) Which factors,