( en | de | ru )

 

Disambiguation of "Berry, Gérard"

Author of the publication

copydeleteadd this publication to your clipboard
Constructive Boolean circuits and the exactness of timed ternary simulation.

, , and . Formal Methods Syst. Des., 40 (3): 283-329 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter Gérard

Gérard Gäfgen

Gérard Sprüssel

Bruno Gérard

Emilie Gérard

 

Other publications of authors with the same name

On the Definition of Lamda-Calculus Models.. ICFPC, volume 107 of Lecture Notes in Computer Science, page 218-230. Springer, (1981)The Chemical Abstract Machine., and . POPL, page 81-94. ACM Press, (1990)Constructive Semantics of Esterel: From Theory to Practice (Abstract).. AMAST, volume 1101 of Lecture Notes in Computer Science, page 225. Springer, (1996)Stable Models of Typed lambda-Calculi.. ICALP, volume 62 of Lecture Notes in Computer Science, page 72-89. Springer, (1978)Advances in ESL Design., , , and . IEEE Des. Test Comput., 25 (6): 520-526 (2008)Circuit design and verication with Esterel v7 and Esterel Studio.. HLDVT, page 133-136. IEEE Computer Society, (2007)System Level Design and Verification Using a Synchronous Language., , and . ICCAD, page 433-440. IEEE Computer Society / ACM, (2003)Challenges and potential solutions for complex embedded systems.. EMSOFT, page 1-2. ACM, (2011)Incremental Development of an HDLC Entity in Esterel., and . Computer Networks and ISDN Systems, 22 (1): 35-49 (1991)ESTEREL: a formal method applied to avionic software development., , , , , and . Sci. Comput. Program., 36 (1): 5-25 (2000)