A General Physical-Topological Framework Using Rule-Based Language For Physical Simulation | 0 | 0.34 | 2017 |
A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models | 0 | 0.34 | 2017 |
Exhaustive test sets for algebraic specifications | 0 | 0.34 | 2016 |
Rule-based transformations for geometric modelling | 0 | 0.34 | 2011 |
Designing a Topological Modeler Kernel: A Rule-Based Approach | 3 | 0.46 | 2010 |
Topology-based abstraction of complex biological systems: application to the Golgi apparatus. | 1 | 0.53 | 2008 |
Graph Transformation for Topology Modelling | 2 | 0.48 | 2008 |
Test selection criteria for quantifier-free first-order specifications | 7 | 0.44 | 2007 |
Topology-based Geometric Modelling for Biological Cellular Processes. | 3 | 0.51 | 2007 |
Testing from algebraic specifications: test data set selection by unfolding axioms | 11 | 0.58 | 2005 |
Spécifications formelles du chanfreinage | 1 | 0.38 | 2002 |
Test de conformité : une approche algébrique | 7 | 0.46 | 2002 |
Geometric Modelling with CASL | 2 | 0.38 | 2001 |
Dynamic Testing from Bounded Data Type Specifications | 8 | 0.50 | 1996 |
Formal Specifications and Test: Correctness and Oracle | 24 | 1.06 | 1995 |