Author of the publication

Dynamic Testing from Bounded Data Type Specifications.

, , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 285-302. Springer, (1996)

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.

 

Other publications of authors with the same name

Topology-based Geometric Modelling for Biological Cellular Processes., , , , and . LATA, Report 35/07, page 497-508. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)Transparent Parallelization of Enrichment Operations in Geometric Modeling., , , , and . VISIGRAPP (1: GRAPP), page 125-136. SCITEPRESS, (2020)Graph Transformation for Topology Modelling., , , and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 147-161. Springer, (2008)A General Physical-topological Framework using Rule-based Language for Physical Simulation., , , and . VISIGRAPP (1: GRAPP), page 220-227. SciTePress, (2017)Dynamic Testing from Bounded Data Type Specifications., , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 285-302. Springer, (1996)Test Sequences Generation from LUSTRE Descriptions: GATeL., and . ASE, page 229-. IEEE Computer Society, (2000)Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions., , , and . ICGT, volume 10373 of Lecture Notes in Computer Science, page 36-53. Springer, (2017)A Modular Approach Based On Graph Transformation To Simulate Tearing And Fractures On Various Mechanical Models., , , and . J. WSCG, 25 (1): 39-48 (2017)Designing a Topological Modeler Kernel: A Rule-Based Approach., , , , and . Shape Modeling International, page 100-112. IEEE Computer Society, (2010)Spécifications formelles du chanfreinage., , , , , and . Tech. Sci. Informatiques, 21 (8): 1073-1098 (2002)