Documentos de González A. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Origen: "google"

Subtipo de publicación

Conference Object(1)

Publisher

Proc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011(1)

Área temáticas

Ciencias de la computación(1)

Área de conocimiento

Ingeniería de software(1)

Objetivos de Desarrollo Sostenible

ODS 17: Alianzas para lograr los objetivos(1)

ODS 8: Trabajo decente y crecimiento económico(1)

ODS 9: Industria, innovación e infraestructura(1)

Año de Publicación

Origen

Implementing a transformation from BPMN to CSP+T with ATL: Lessons learnt

Conference Object

Abstract: Among the challenges to face in order to promote the use of techniques of formal verification in org

Palabras claves:

González A., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.