PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gall, Pascale Le"

Author of the publication

copydeleteadd this publication to your clipboard
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.

, , , , and . TAP, volume 11823 of Lecture Notes in Computer Science, page 167-185. Springer, (2019)

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.

Christian Gall University of Stuttgart

Matthias Galla University of Stuttgart

Simona Galliani University of Stuttgart

Daniel Galla University of Stuttgart

Dr. Kathrin Gallmeister University of Stuttgart

 

Other publications of authors with the same name

Test de conformité : une approche algébrique., and . Technique et Science Informatiques, 21 (9): 1219-1242 (2002)Generation of All-Paths Unit Test with Function Calls., , , and . ICST, page 32-41. IEEE Computer Society, (2008)A Formal Definition of Complex Software., , and . ICSEA, page 415-420. IEEE Computer Society, (2008)Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems., , , and . ISORC, page 35-42. IEEE Computer Society, (2016)An LTL Model Checking Approach for Biological Parameter Inference., , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 155-170. Springer, (2014)Geometric Modelling with CASL., , , and . WADT, volume 2267 of Lecture Notes in Computer Science, page 176-200. Springer, (2001)Exception Handling and Term Labelling., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 421-436. Springer, (1993)Symbolic Modeling of Genetic Regulatory Networks., , , and . J. Bioinformatics and Computational Biology, 5 (2b): 627-640 (2007)Formal Specifications and Test: Correctness and Oracle., and . COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 342-358. Springer, (1995)Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling., , , and . ICGT, volume 8571 of Lecture Notes in Computer Science, page 269-284. Springer, (2014)