共 50 条
- [41] Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization GRAPH TRANSFORMATION, 2016, 9761 : 236 - 251
- [42] BEHAVIOUR SIMULATION AND EQUIVALENCE OF SYSTEMS MODELLED BY GRAPH TRANSFORMATION BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2009, (97): : 117 - 125
- [44] A formal model for Role-Based Access Control using graph transformation COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 122 - 139
- [45] Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 502 - 504
- [48] A Graph Model Based Simulation Tool for Generating RFID Streaming Data WEB TECHNOLOGIES AND APPLICATIONS, 2011, 6612 : 290 - +
- [49] A Description Method of Cloud Simulation Model Resources Based on Knowledge Graph 2019 IEEE 4TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA), 2019, : 655 - 663
- [50] Symbolic Model Generation for Graph Properties FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2017, 2017, 10202 : 226 - 243