CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Leistungen
Demonstrator: Beta version of the Integrated Development Environment.
OPE Data Warehouse (Beta) (öffnet in neuem Fenster)Demonstrator: Beta Version of the OPE Data Warehouse.
OPE Execution Environment System (Beta) (öffnet in neuem Fenster)Demonstrator: Beta version of the OPE Execution Environment
OPE Compliance Management Subsystem (Beta) (öffnet in neuem Fenster)Demonstrator: Beta version of the Compliance Management Subsystem.
Prototype System (Beta) Delivery (öffnet in neuem Fenster)Prototype of OPE system - Beta version.
OPE Application-store (Beta) (öffnet in neuem Fenster)Demonstrator: Beta version of the Application Store for OPE.
OPE Service Provider Subsystem (Beta) (öffnet in neuem Fenster)Demonstrator: Beta version of the Service Provider Subsystem.
OPE Integrated Development Environment (Alpha) (öffnet in neuem Fenster)Demonstrator: Alpha version of the integrated development environment.
Document containing the test specification required for validation and verification of the design.
Initial Commercial Plan (öffnet in neuem Fenster)Initial Commercial Plan for OPE.
Project Evaluation Report (öffnet in neuem Fenster)Report: Evaluation of OPE Project.
Final Commercial Plan (öffnet in neuem Fenster)Final version of Commercial Plan for OPE.
Year 1 Project Report (öffnet in neuem Fenster)Report on project for 12 months period. Public.
State-of-the-Art of Formal Verification Checking of Payment Systems (öffnet in neuem Fenster)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 (öffnet in neuem Fenster)Conference to promote the OPE initiative.
Project Website/Blog (öffnet in neuem Fenster)Website/Blog dedicated to the project.
Veröffentlichungen
Autoren:
Shaun Azzopardi, Christian Colombo, Gordon Pace
Veröffentlicht in:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952, 2016, Seite(n) 416-430
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-47166-2_29
Autoren:
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Veröffentlicht in:
International Conference on Software Engineering and Formal Methods (SEFM), 2016, Seite(n) 337-343
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_23
Autoren:
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Veröffentlicht in:
Proceedings of the University of Malta Computer Science Annual Workshop, Ausgabe Annual, 2016
Herausgeber:
University of Malta
Autoren:
Shaun Azzopardi, Christian Colombo, and Gordon Pace
Veröffentlicht in:
Proceedings of the University of Malta Computer Science Annual Workshop, Ausgabe Annual, 2016
Herausgeber:
University of Malta
Autoren:
Christian Colombo, Gordon Pace
Veröffentlicht in:
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Herausgeber:
University of Malta
Autoren:
Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Veröffentlicht in:
Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Herausgeber:
University of Malta
Autoren:
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 254, 2017, ISSN 2075-2180
Herausgeber:
13th International Conference on integrated Formal Methods (iFM 2017)
DOI:
10.4204/EPTCS.254
Autoren:
Alex Mifsud
Veröffentlicht in:
raconteur.net, 2016, Seite(n) 5
Herausgeber:
raconteur.net
Rechte des geistigen Eigentums
Antrags-/Publikationsnummer:
US
13/253,670
Datum:
2011-05-10
Antragsteller:
IXARIS SYSTEMS LTD
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor