The following pages link to Agnès Arnould (Q3192243):
Displaying 8 items.
- Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (Q3192245) (← links)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613) (← links)
- Test Selection Criteria for Quantifier-Free First-Order Specifications (Q3508522) (← links)
- Graph Transformation for Topology Modelling (Q3540395) (← links)
- (Q4471719) (← links)
- (Q4964702) (← links)
- Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions (Q4972008) (← links)
- Preserving consistency in geometric modeling with graph transformations (Q5059141) (← links)
