Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Área temáticas
Ciencias de la computación(2)
Principios generales de matemáticas(1)
Relaciones internacionales(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(2)
ODS 9: Industria, innovación e infraestructura(2)
Origen
scopus(2)
Termination criteria for model transformation
Conference ObjectAbstract: Model Transformation has become central to most software engineering activities. It refers to the prPalabras claves:Autores:Ehrig H., Ehrig K., Juan De Lara, Taentzer G., Varró D., Varró-Gyapay S.Fuentes:scopusParallel graph transformation for model simulation applied to timed transition petri nets
Conference ObjectAbstract: This work discusses the use of parallel graph transformation systems for (multi-formalism) modelingPalabras claves:Model simulation, Parallel graph transformation, Timed transition Petri netsAutores:Ehrig K., Ermel C., Juan De Lara, Taentzer G.Fuentes:scopus