Search results
From MaRDI portal
- for model transformation rules 2020-07-14 Paper Constructing optimized validity-preserving application conditions for graph transformation rules 2020-02-06...10 bytes (16 words) - 18:04, 12 December 2023
- optimized constraint-preserving application conditions for model transformation rules 2020-07-14 Paper Constructing constraint-preserving interaction schemes...10 bytes (16 words) - 12:26, 24 September 2023
- model transformation: formal foundation and application 2018-02-02 Paper RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules...10 bytes (16 words) - 18:04, 12 December 2023
- for graph transformation systems 2020-02-06 Paper Constructing optimized validity-preserving application conditions for graph transformation rules 2020-02-06...10 bytes (16 words) - 18:04, 12 December 2023
- Package for Chemically Inspired Graph Transformation 2016-09-05 Paper Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical...10 bytes (17 words) - 15:17, 10 December 2023
- for graph transformation systems 2020-02-06 Paper Constructing optimized validity-preserving application conditions for graph transformation rules 2020-02-06...10 bytes (16 words) - 12:26, 24 September 2023
- Publication Date of Publication Type The correct and unusual coordinate transformation rules for electromagnetic quadrupoles 2018-11-26 Paper...10 bytes (16 words) - 16:40, 28 December 2023
- Publication Date of Publication Type Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions 2016-09-05 Paper...10 bytes (16 words) - 11:19, 7 October 2023
- Publication Type A compositional automata-based semantics and preserving transformation rules for testing property patterns 2015-09-03 Paper...10 bytes (18 words) - 02:00, 7 October 2023
- Publication Date of Publication Type Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration 2013-10-04 Paper...10 bytes (16 words) - 13:32, 7 October 2023
- Publication Date of Publication Type Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration 2013-10-04 Paper...10 bytes (16 words) - 13:32, 7 October 2023
- 2018-11-16 Paper A compositional automata-based semantics and preserving transformation rules for testing property patterns 2015-09-03 Paper Association of Under-Approximation...10 bytes (16 words) - 02:49, 12 December 2023
- model transformation: formal foundation and application 2018-02-02 Paper RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules...10 bytes (16 words) - 17:24, 6 October 2023
- model transformation: formal foundation and application 2018-02-02 Paper RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules...10 bytes (16 words) - 17:24, 6 October 2023
- Publication Date of Publication Type SYSTEM STATE TRANSFORMATION RULES IN DP-MODEL OF ACCESS CONTROL IN COMPUTER NETWORKS BASED ON OPERATING SYSTEMS OF...10 bytes (18 words) - 22:38, 27 December 2023
- Publication Type A compositional automata-based semantics and preserving transformation rules for testing property patterns 2015-09-03 Paper Extending the Standard...10 bytes (16 words) - 02:00, 7 October 2023
- Publication Date of Publication Type On the Transformation Rules of Erasure and Insertion in the Beta Part of Peirce’s Existential Graphs 2023-02-23 Paper...10 bytes (16 words) - 03:50, 7 October 2023
- Publication Type A compositional automata-based semantics and preserving transformation rules for testing property patterns 2015-09-03 Paper Combining Scenario-...10 bytes (16 words) - 02:00, 7 October 2023
- Expression Size Using Rule-Based Integration 2010-08-24 Paper A Knowledge Repository for Indefinite Integration Based on Transformation Rules 2009-07-09 Paper...10 bytes (18 words) - 03:10, 28 December 2023
- 2019-02-08 Paper A compositional automata-based semantics and preserving transformation rules for testing property patterns 2015-09-03 Paper A formal abstract...10 bytes (16 words) - 02:00, 7 October 2023