CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
Demonstrator: Beta version of the Integrated Development Environment.
OPE Data Warehouse (Beta) (odnośnik otworzy się w nowym oknie)Demonstrator: Beta Version of the OPE Data Warehouse.
OPE Execution Environment System (Beta) (odnośnik otworzy się w nowym oknie)Demonstrator: Beta version of the OPE Execution Environment
OPE Compliance Management Subsystem (Beta) (odnośnik otworzy się w nowym oknie)Demonstrator: Beta version of the Compliance Management Subsystem.
Prototype System (Beta) Delivery (odnośnik otworzy się w nowym oknie)Prototype of OPE system - Beta version.
OPE Application-store (Beta) (odnośnik otworzy się w nowym oknie)Demonstrator: Beta version of the Application Store for OPE.
OPE Service Provider Subsystem (Beta) (odnośnik otworzy się w nowym oknie)Demonstrator: Beta version of the Service Provider Subsystem.
OPE Integrated Development Environment (Alpha) (odnośnik otworzy się w nowym oknie)Demonstrator: Alpha version of the integrated development environment.
Document containing the test specification required for validation and verification of the design.
Initial Commercial Plan (odnośnik otworzy się w nowym oknie)Initial Commercial Plan for OPE.
Project Evaluation Report (odnośnik otworzy się w nowym oknie)Report: Evaluation of OPE Project.
Final Commercial Plan (odnośnik otworzy się w nowym oknie)Final version of Commercial Plan for OPE.
Year 1 Project Report (odnośnik otworzy się w nowym oknie)Report on project for 12 months period. Public.
State-of-the-Art of Formal Verification Checking of Payment Systems (odnośnik otworzy się w nowym oknie)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 (odnośnik otworzy się w nowym oknie)Conference to promote the OPE initiative.
Project Website/Blog (odnośnik otworzy się w nowym oknie)Website/Blog dedicated to the project.
Publikacje
Autorzy:
Shaun Azzopardi, Christian Colombo, Gordon Pace
Opublikowane w:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952, 2016, Strona(/y) 416-430
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-47166-2_29
Autorzy:
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Opublikowane w:
International Conference on Software Engineering and Formal Methods (SEFM), 2016, Strona(/y) 337-343
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_23
Autorzy:
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Opublikowane w:
Proceedings of the University of Malta Computer Science Annual Workshop, Numer Annual, 2016
Wydawca:
University of Malta
Autorzy:
Shaun Azzopardi, Christian Colombo, and Gordon Pace
Opublikowane w:
Proceedings of the University of Malta Computer Science Annual Workshop, Numer Annual, 2016
Wydawca:
University of Malta
Autorzy:
Christian Colombo, Gordon Pace
Opublikowane w:
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Wydawca:
University of Malta
Autorzy:
Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Opublikowane w:
Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Wydawca:
University of Malta
Autorzy:
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Opublikowane w:
Electronic Proceedings in Theoretical Computer Science, Numer 254, 2017, ISSN 2075-2180
Wydawca:
13th International Conference on integrated Formal Methods (iFM 2017)
DOI:
10.4204/EPTCS.254
Autorzy:
Alex Mifsud
Opublikowane w:
raconteur.net, 2016, Strona(/y) 5
Wydawca:
raconteur.net
Prawa własności intelektualnej
Numer wniosku/publikacji:
US
13/253,670
Data:
2011-05-10
Wnioskodawca/wnioskodawcy:
IXARIS SYSTEMS LTD
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników