Pascal Leroy

发表

An Invitation to Ada 2005

Pascal Leroy, 2003, Ada-Europe.

Evaluation of the decision commission 89/610/EEC about reference methods for the determination of residues applied to veal calves treated by anabolic hormones

Pascal Leroy, Jean-Pierre Willemart, P. Gaspar, 1990 .

Section 4: Names and Expressions

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

An invitation to Ada 2005

Pascal Leroy, 2003, ALET.

Exceptions as types

Pascal Leroy, 2001, ALET.

Declarations and Types

Edmond Schonberg, S. Tucker Taft, Pascal Leroy, 2013 .

Annex E (normative): Distributed Systems

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex J (normative): Obsolescent Features

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

A computer program to optimize herd dairy management

Pascal Leroy, A. Harvengt, Johann Detilleux, 1997 .

Ada 2012 Reference Manual. Language and Standard Libraries

Edmond Schonberg, Erhard Plödereder, S. Tucker Taft, 2013, Lecture Notes in Computer Science.

Section 8: Visibility Rules

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1

Erhard Plödereder, S. Tucker Taft, Pascal Leroy, 2007, Lecture Notes in Computer Science.

The exceptional muscle development of the Belgian Blue cattle is a real opportunity for beef producers in China

Pascal Leroy, 1999 .

Section 11: Exceptions

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 6: Subprograms

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 13: Representation Issues

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex D (normative): Real-Time Systems

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex Q (informative): Language-Defined Entities

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex L (informative): Language-Defined Pragmas

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex C (normative): Systems Programming

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 12: Generic Units

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 9: Tasks and Synchronization

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Evolution des concepts concernant le pilotage des irrigations

Pascal Leroy, Jean-Marc Deumier, C. Jacquin, 1993 .

Annex P (informative): Syntax Summary

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Program Structure and Compilation Issues

Edmond Schonberg, S. Tucker Taft, Pascal Leroy, 2013 .

Section 3: Declarations and Types

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 2: Lexical Elements

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 10: Program Structure and Compilation Issues

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex H (normative): High Integrity Systems

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

A bioeconomic model to train interdisciplinary research on reducing phytosanitary operations in the vineyards

Pascal Leroy, O. Naud, B. Leger, 2007 .

Annex K (informative): Language-Defined Attributes

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 1: General

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex F (normative): Information Systems

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 5: Statements

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Tasks and Synchronization

Edmond Schonberg, S. Tucker Taft, Pascal Leroy, 2013 .

Annex M (informative): Summary of Documentation Requirements

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Section 7: Packages

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Annex G (normative): Numerics

S. Tucker Taft, Pascal Leroy, Robert A. Duff, 2006 .

Countering WEEE Illegal Trade (CWIT) Summary Report, Market Assessment, Legal Analysis, Crime Analysis and Recommendations Roadmap

Toni Männistö, Juha Hintsa, F. Magalini, 2015 .

Prospecting Secondary Raw Materials in the Urban Mine and mining wastes (ProSUM) - Final Report

Maria Ljunggren Söderman, Daniel Cassard, Jaco Huisman, 2017 .

A bioeconomic model of downy mildew damage on grapevine for evaluation of control strategies

Pascal Leroy, Laurent Delière, Adeline Alonso Ugaglia, 2013 .

An imprinted QTL with major effect on muscle mass and fat deposition maps to the IGF2 locus in pigs

Pascal Leroy, Michel Georges, Laurence Moreau, 1999, Nature Genetics.