18 results on '"Legay, P."'
Search Results
2. Compositional verification of real-time systems using Ecdar
3. Model checking software product lines with SNIP
4. The response to daylight or continuous ozone of phenylpropanoid and lignin biosynthesis pathways in poplar differs between leaves and wood
5. On timed alternating simulation for concurrent timed games
6. Extrapolating (omega-)regular model checking
7. Statistical abstraction and model-checking of large heterogeneous systems
8. Identification of suitable reference genes for real-time RT-PCR normalization in the grapevine-downy mildew pathosystem
9. Carbohydrate metabolism and cell protection mechanisms differentiate drought tolerance and sensitivity in advanced potato clones (Solanum tuberosum L.)
10. Monitoring gene expression of potato under salinity using cDNA microarrays
11. VeloceGenomics: An Accelerated in Vivo Drug Discovery Approach to Rapidly Predict the Biologic, Drug-Like Activity of Compounds, Proteins, or Genes
12. Conception d’une antenne bibande à large bande pour la téléphonie mobile
13. Controlled steam oxidation of AlInAs for microelectronics and optoelectronics applications
14. Effets d’un trou métallisé sur les caractéristiques de rayonnement d’une antenne plaque microruban alimentée par une ligne coaxiale à travers le plan de masse
15. Une approche générale du concept d’antenne active pour les antennes et les réseaux microrubans à partir de la théorie des diffuseurs chargés
16. Expression of Tau protein and Tau mRNA in the cerebellum during axonal outgrowth
17. Etude théorique et expérimentale d’antennes plaques alimentées par couplage de proximité à une ligne microruban
18. Étude expérimentale des passages par zéro ou par un seuil de fonctions aléatoires
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.