CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultado final
Demonstrator: Beta version of the Integrated Development Environment.
OPE Data Warehouse (Beta) (se abrirá en una nueva ventana)Demonstrator: Beta Version of the OPE Data Warehouse.
OPE Execution Environment System (Beta) (se abrirá en una nueva ventana)Demonstrator: Beta version of the OPE Execution Environment
OPE Compliance Management Subsystem (Beta) (se abrirá en una nueva ventana)Demonstrator: Beta version of the Compliance Management Subsystem.
Prototype System (Beta) Delivery (se abrirá en una nueva ventana)Prototype of OPE system - Beta version.
OPE Application-store (Beta) (se abrirá en una nueva ventana)Demonstrator: Beta version of the Application Store for OPE.
OPE Service Provider Subsystem (Beta) (se abrirá en una nueva ventana)Demonstrator: Beta version of the Service Provider Subsystem.
OPE Integrated Development Environment (Alpha) (se abrirá en una nueva ventana)Demonstrator: Alpha version of the integrated development environment.
Document containing the test specification required for validation and verification of the design.
Initial Commercial Plan (se abrirá en una nueva ventana)Initial Commercial Plan for OPE.
Project Evaluation Report (se abrirá en una nueva ventana)Report: Evaluation of OPE Project.
Final Commercial Plan (se abrirá en una nueva ventana)Final version of Commercial Plan for OPE.
Year 1 Project Report (se abrirá en una nueva ventana)Report on project for 12 months period. Public.
State-of-the-Art of Formal Verification Checking of Payment Systems (se abrirá en una nueva ventana)Report published to outline the payment systems formal verification - state of the art.
Academic Papers, Industry Whitepapers and Conference Papers/Presentations done throughout the life-cycle of the project.
Open Payments Eco-system Conference (se abrirá en una nueva ventana)Conference to promote the OPE initiative.
Project Website/Blog (se abrirá en una nueva ventana)Website/Blog dedicated to the project.
Publicaciones
Autores:
Shaun Azzopardi, Christian Colombo, Gordon Pace
Publicado en:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952, 2016, Página(s) 416-430
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-47166-2_29
Autores:
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Publicado en:
International Conference on Software Engineering and Formal Methods (SEFM), 2016, Página(s) 337-343
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_23
Autores:
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Publicado en:
Proceedings of the University of Malta Computer Science Annual Workshop, Edición Annual, 2016
Editor:
University of Malta
Autores:
Shaun Azzopardi, Christian Colombo, and Gordon Pace
Publicado en:
Proceedings of the University of Malta Computer Science Annual Workshop, Edición Annual, 2016
Editor:
University of Malta
Autores:
Christian Colombo, Gordon Pace
Publicado en:
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Editor:
University of Malta
Autores:
Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Publicado en:
Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Editor:
University of Malta
Autores:
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 254, 2017, ISSN 2075-2180
Editor:
13th International Conference on integrated Formal Methods (iFM 2017)
DOI:
10.4204/EPTCS.254
Autores:
Alex Mifsud
Publicado en:
raconteur.net, 2016, Página(s) 5
Editor:
raconteur.net
Derechos de propiedad intelectual
Número de solicitud/publicación:
US
13/253,670
Fecha:
2011-05-10
Solicitante(s):
IXARIS SYSTEMS LTD
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles