open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Área de conocimiento: "Software"
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)
Año de Publicación
2011
(1)
Origen
google
(1)
scopus
(1)
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:
Autores:
González A., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.
Fuentes:
google
scopus
1
1
