A carregar...
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
The behavior of various kinds of dynamic systems can be formalized using typed attributed graph transformation systems (GTSs). The states of these systems are then modelled using graphs and the evolution of the system from one state to another is described by a finite set of graph transformation rul...
Na minha lista:
| Publicado no: | Graph Transformation |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7314960/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51372-6_15 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|