( en | de | ru )

 

Disambiguation of "Bernot, Gilles"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Approach to Software Testing.

, , and . AMAST, page 243-253. Springer, (1991)

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.

Harald Gilles

Susanne Gilles

Alfons Gilles

Wolfgang Gilles

Josef Gilles

 

Other publications of authors with the same name

A Qualitative Framework Dedicated to Toxicology., , , and . BIOINFORMATICS, page 93-103. SciTePress, (2017)Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network., and . Fundam. Informaticae, 91 (3-4): 463-485 (2009)A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network., , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 8-12. Springer, (2015)Exception Handling and Term Labelling., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 421-436. Springer, (1993)A Formal Approach to Software Testing., , and . AMAST, page 243-253. Springer, (1991)Behavioural Approaches to Algebraic Specifications: A Comparative Study., , and . Acta Inf., 31 (7): 651-671 (1994)Correctness Proofs for Abstract Implementations.. ADT, (1986)Enzymatic competition: Modeling and verification with timed hybrid petri nets., , and . Pattern Recognit., 42 (4): 562-566 (2009)Good Functors... are Those Preserving Philosophy.. Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science, page 182-195. Springer, (1987)Hierarchical Heterogeneous Specifications., , and . WADT, volume 1589 of Lecture Notes in Computer Science, page 107-121. Springer, (1998)