CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
Dissemination Year 3 (m36) This deliverable will report on a number of sub-documents, some of which are updated versions of sub-documents defined in D6.2: a) Report on the delivery of the Summer School including a list of participants and the training course material. (UNEW) b) A report providing an overview of all the KPIs used to measure progress in dissemination. This will include the public downloads of the project tools, the members of the IFG, the number of challenge problems modelled from the IFG and a full list of the publications produced and exploitation activities carried out during the year. This will also contain an overview of the ICT projects collaborated with. (TWT) c) Promotional activities, and a concise report thereof. The report states the audience addressed and an analysis of the expected impact. (TWT) d) A report of the final workshop with the interested members of the IFG where the status of the project and the possibilities of implementation of the project tools within the IFG will be assessed. (TWT) e) A report will be delivered recording the final status of the INTO-CPS Association, including available tool chain and interested and signed up members. (LIU) f) A report describing the final status of the exploitation activities within the consortium as well as the final exploitation plan. (TWT)
Dissemination Year 2Dissemination Year 2 m24 This deliverable will contain a number of subdocuments some of which are updated versions of subdocuments defined in D61a Promotional activities as well as a concise report thereof The report states the audience addressed and an analysis of the reception such that future promotional activities can be adapted as necessary TWTb A report providing an overview of all the KPIs used to measure the dissemination success of the project This will include the public downloads of the project tools the members of the IFG the number of challenge problems modelled from the IFG and a full list of the publications produced and exploitation activities carried out during the yearTWTc A report on the workshop with the interested members of the IFG where the current status of the project and the alignment of the development with the IFGs interests are assessed A report containing the outcomes of webinars and the remaining activities will also be delivered TWTd A report documenting the results of INTOCPS in a more general context will be produced and presented to members of industry and the RD community developing ICTProjects It will include a roadmap for the research planned in the remaining half of INTOCPS AUe A report will be delivered recording the status of the implementation of the INTOCPS Association including available tool chain and interested or signed up members This will include the status of the implementation of the Association including available software tools A list of interested parties or signed up members will be included Furthermore a roadmap for the continuation of the Association will be produced LIUf A report that describes the results of the repeated survey conducted to elicit the potential for expoitation of the projects tool chain and methods This also describes the status of the exploitation activities as well as the current exploitation plan TWT
Deliverable D61 Dissemination Year 1 m12 This deliverable will contain a number of subdocumentsa A report about the initial engagement with the IFG Members as well as the additional input into the project requirements gathered during that period TWTb A report giving an overview of all the Key Performance Indicators KPIs used to measure the dissemination success of the project This will include the public downloads of the INTOCPS tools the members of the IFG the number of challenge problems modelled from the IFG and a full list of the produced publications and exploitation activities carried out during the year TWTc A report detailing the structure and access levels to be implemented for the INTOCPS Association It will also detail the formal criteria and licensing schemes to be available for members of the Association Furthermore it will include an invitation to be distributed to interested parties LIUd A report on commercialisation preparation that will describe the results of the first survey conducted to elicit the potential for exploitation of the projects tool chain and methods This includes the status of the exploitation activities within the consortium as well as the current exploitation plan TWT
Foundations 2This deliverable will contain several sub-documents, some of which are updated versions of sub-documents defined in Deliverable D2.1. a) Updated version of SysML foundations and SysML to FMI transformation rules. (UY) b) Final version of the semantics for VDM-RT, including Time and Interruption. Operational semantics will be provided, and described in a standard format such as the Ott language.(UY) c) Initial version of the semantics for continuous-time modelling, using the existing operational semantics of Modelica to formulate a denotational model. (UY) d) Initial semantics for FMI, in the form of a static semantics, which will allow consistency checking, and a partial dynamic semantics which we will give in the form of a structural operational semantics. (TWT)
Examples Compendium 3Examples Compendium 3 (m36) This deliverable contains example and pilot study model descriptions demonstrating the final INTO-CPS technology developed inside the project.
Examples Compendium 1Deliverable D34 Examples Compendium 1 m12 This deliverable contains example and pilot study model descriptions demonstrating baseline INTOCPS technology It lays out a roadmap for the next 12 months of case study and example development to test and demonstrate upcoming INTOCPS technologies
Method Guidelines 1Deliverable D31 Method Guidelines 1 m12 This deliverable comprises of two parts The first part is aimed at and written for developers intending to use the INTOCPS technologyThis initial deliverable will contain a description of the overall design flow for INTOCPS and initial guidance on building comodels that contain multiple DE and CT models The second part is a progress report on the state of the methods work in particular including a survey of the StateoftheArt
Periodic progress report year 2Periodic progress report year 2 m24 This periodic progress report will include a description of the activities done and achievements obtained progress towards the project objectives deviations from the description of work explanation of the use of resources and how the recommendations of the previous review have been addressed
Platform Unification and Integration 1Deliverable D41 Platform Unification and Integration Year 1 m12 This deliverable will contain a number of subdeliverablesa A realisation of the executable COE support supporting fixed time steps using existing FMI This also includes user manual documentation on how to connect simulated models into a cosimulation AUb Integration of OpenModelica Overture and 20sim on the COE using existing FMI LIUc Initial support for constructing contracts for the COE from SysML STd A report with the design documentation of the COE and FMI extensions AU
Periodic progress report year 1Deliverable D72 Periodic progress report year 1 m12 This periodic progress report will include a description of the activities carried out and achievements obtained progress towards the project objectives deviations from the description of work explanation of the use of resources
Periodic progress report year 3Periodic progress report year 3 (m36) This periodic progress report will include a description of the activities done and achievements obtained, progress towards the project objectives, deviations from the description of work, explanation of the use of resources, and how the recommendations of the previous review have been addressed.
Method Guidelines 2This deliverable is an updated version of D31 expanding to cover guidelines for using the model management and Design Space Exploration DSE features of the INTOCPS technologies along with an update of the progress report
Foundations 1Deliverable D21 Foundations 1 m12 This deliverable will contain a number of subdocumentsa Initial report on foundations for the SysML profile for CPS modelling including transformation rules from SysML to FMI UYb Initial version of the semantics for VDMRT including a reference semantics for object orientation Operational semantics will be provided and described in a standard format such as the Ott language to aid the tool chain implementers 63 UYc Mechanised UTP theory of differential equations as a prelude to the continuoustime semantics UYd Initial report on foundations for FMI comodelling TWT
Tool chain Extension Modules– Year 3Tool chain Extension Modules– Year 3 (m36) This deliverable consists of a document and tool baseline that contains the following sub-deliverables: a) Full integration of existing tools for DSE, test automation, and code generation into COE (UNEW) b) Demonstration of integrated co-simulation/testing as part of one use-case, where test procedures generated from a test model will be executed against co-simulated models and HiL components. (CLP) c) An implementation of a model-checking component which enables global model-checking for an abstracted CT model. (VSI) d) The code generators and resource constraint targets are fully integrated into the COE. (AU) e) Comprehensive DSE support including adaptive ACA with techniques that can optimise the experiment space based on simulation results (e.g. simulated annealing), as well fea- tures for visualisation of results and generation of analysis reports appropriate to the case studies. (UNEW)
Method Guidelines 3Method Guidelines 3 (m36) This deliverable contains the final set of guidelines for the mature INTO-CPS technologies, updated from D3.2. This will be the final set of guidelines covering the top-to-bottom design flow of INTO-CPS. A final progress report is included, that includes a roadmap for the future of collaborative methods with co-simulation.
Examples Compendium 2Examples Compendium 2 m24 This deliverable contains example and pilot study model descriptions demonstrating INTOCPS technology available during the first 24 months It lays out a roadmap for the final 12 months of case study and example development to test and demonstrate upcoming INTOCPS technologies
Foundations 3Foundations 3 (m36) This deliverable will contain a number of sub-documents, some of which are updated versions of sub-documents defined in Deliverable D2.2. a) Final version of SysML foundations and transformation rules from SysML to FMI. (UY) b) Final version of semantics for continuous-time modelling. (UY) c) Final version of semantics for FMI. (UY) d) Report on linking Modelica and VDM-RT components in an FMI co-model. (UY)
Deliverable D51 Tool chain Extension Modules Year 1 m12 This deliverable consists of a document and tool baseline that contains the following subdeliverablesa A basic integration of existing tools for DSE including an extension to OpenModelica and test automation with the COE UNEWb A distributed testing and simulation network enabling distributed execution of cosimulation and test automation components VSIc A report describing the necessary techniques to abstract from a concrete CT model into a finite DE model while preserving all safety relevant features VSId A report describing the design principles for the code generator AU
Platform Unification and Integration 2Platform Unification and Integration Year 2 m24 This deliverable will contain a number of subdeliverables some of which are updated versions of subdeliverables defined in Deliverable D41a An updated realisation of the executable COE support supporting both fixed and variable time steps using extended FMI This also includes updated user manual documentation on how to connect simulated models into a cosimulation AUb Updated integration of OpenModelica Overture and 20sim on the COE using extended FMI CLPc Support for constructing contracts for the COE from SysML STd Design of the traceability and model management tools providing provenance for developments carried out in INTOCPS TWT
Tool chain Extension Modules– Year 2Tool chain Extension Modules– Year 2 (m24) This deliverable consists of a document and tool baseline that contains the following sub-deliverables: a) An implementation of a traceability module, which allows tracing of requirement artifacts from co-simulation models to test automation tools. (LIU) b) An implementation of a model-checking component which enables bounded model-checking for an abstracted CT model. (VSI) c) First release of the code generator. (AU) d) Extended DSE support that includes features to help optimise the experiment space (reducing the number of simulation runs) and support for objective functions to rank results ppropriate to the case studies. (UNEW)
Platform Unification and IntegrationPlatform Unification and Integration Year 3 (m36) This deliverable will contain a number of sub-deliverables, all of which are updated versions of sub-deliverables defined in Deliverable D4.2. a) Final realisation of the executable COE support, supporting all features of the extended FMI. This also includes final versions of user manual documentation on how to connect simulated models into a co-simulation. (CLP) b) Final integration of OpenModelica, Overture and 20-sim on the COE using all features of the extended FMI. (AU) c) Final support for constructing contracts for the COE from SysML. (ST) d) Realisation of the traceability and model management tools providing provenance for developments carried out in INTO-CPS. (TWT)
Publications
Author(s):
Simon Foster, Jim Woodcock
Published in:
Concurrency, Security, and Puzzles, 2017, Page(s) 39-64, ISBN 978-3-319-51046-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-51046-0_3
Author(s):
Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock
Published in:
Present and Ulterior Software Engineering, 2017, Page(s) 173-194, ISBN 978-3-319-67425-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-67425-4_11
Author(s):
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
Published in:
Theoretical Aspects of Computing - ICTAC 2015, Issue Lecture Notes in Computer Science, Vol. 9399, 2015, Page(s) 505-523, ISBN 978-3-319-25150-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-25150-9_29
Author(s):
Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Lecomte, Thierry.
Published in:
Trustworthy Cyber-Physical Systems Engineering, 2016, ISBN 978-1-4987-4248-1
Publisher:
CRC Press, Taylor & Francis Group
DOI:
10.1201/9781315369105
Author(s):
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
Published in:
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 2017, Page(s) 73-82, ISBN 978-989-758-265-3
Publisher:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0006412700730082
Author(s):
Oldrich Faldik, Richard Payne, John Fitzgerald, and Barbora Buhnova.
Published in:
14th Intl Workshop on Formal Engineering approaches to Software Components and Architectures, at ETAPS, Uppsala, Sweden, Issue EPTCS 245, 2017, Page(s) 1-15
Publisher:
Open Publishing Association
Author(s):
P. G. Larsen, J. Fitzgerald, J. Woodcock, C. Gamble, R. Payne and K. Pierce.
Published in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol. 10729, 2017
Publisher:
Springer
Author(s):
Alachew Mengist, Adrian Pop, Adeel Asghar and Peter Fritzson.
Published in:
12th International Modelica Conference 2017, 2017, Page(s) 823 - 830
Publisher:
Linköping University Electronic Press
Author(s):
F. Zeyda, J. Ouy, S. Foster and A. Cavalcanti.
Published in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol 10729, 2017
Publisher:
Springer
Author(s):
L.D. Couto, S. Basagiannis, E.H. Ridouane, A. El-Din Mady, M. Hasanagic and P.G. Larsen.
Published in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol. 10729, 2017
Publisher:
Springer
Author(s):
M. Jackson and J. Fitzgerald.
Published in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol. 10729, 2017
Publisher:
Springer
Author(s):
F. Foldager, P.G. Larsen and O. Green.
Published in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science Vol 10729, 2017
Publisher:
Springer
Author(s):
Luis Diogo Couto and Ken Pierce.
Published in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 31-43
Publisher:
Newcastle University, Computing Science
Author(s):
Hansen Salim and John Fitzgerald.
Published in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 44-58
Publisher:
Newcastle University, Computing Science
Author(s):
Sergio Feo-Arenis, Marcel Verhoef, and Peter Gorm Larsen.
Published in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 130-144
Publisher:
Newcastle University, Computing Science
Author(s):
Victor Bandur, Peter W. V. Tran-Jørgensen, Miran Hasanagić, and Kenneth Lausdahl.
Published in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 1-15
Publisher:
Newcastle University, Computing Science
Author(s):
Mihai Neghina, Constantin-Bala Zamfirescu, Peter Gorm Larsen, Kenneth Lausdahl, and Ken Pierce.
Published in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 116-129
Publisher:
Newcastle University, Computing Science
Author(s):
Kenneth Lausdahl, Kim Bjerge, Tom Bokhove, Frank Groen, and Peter Gorm Larsen.
Published in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 16-30
Publisher:
Newcastle University, Computing Science
Author(s):
Bernhard Thiele, Thomas Beutlich, Volker Waurich, Martin Sjölund, Tobias Bellmann.
Published in:
Proceedings of the 12th International Modelica Conference, 2017, Page(s) 713-723
Publisher:
Linköping University Electronic Press
Author(s):
K. Lausdahl, C. Thule and P.G. Larsen, J. Höll, C König, A. Klueber, M. Pfeil, V. Fässler.
Published in:
FMI User Meeting, 2017
Publisher:
FMI
Author(s):
Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, Georgios; Lausdahl, Kenneth; Tran-Jørgensen, Peter W. V.
Published in:
Electronic Proceedings in Theoretical Computer Science, 2015
Publisher:
Corner University Library
Author(s):
John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
Published in:
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 2015, Page(s) 40-46, ISBN 978-1-4673-7043-1
Publisher:
IEEE
DOI:
10.1109/FormaliSE.2015.14
Author(s):
Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Published in:
ICSSEA 2015 Proceedings, 2015
Publisher:
ICSSEA
Author(s):
Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Peter Fritzson, Jorg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Published in:
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), 2016, Page(s) 1-6, ISBN 978-1-5090-1154-4
Publisher:
IEEE
DOI:
10.1109/CPSData.2016.7496424
Author(s):
Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Nilsson, Rene; Gamble, Carl; Foster, Simon.
Published in:
Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science, Issue Vol. 9953, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-47169-3_13
Author(s):
Fitzgerald, John; Gamble, Carl; Payne, Richard; Larsen, Peter Gorm; Basagiannis, Stylianos; Mady, Ali El-Din.
Published in:
INCOSE International Symposium, Issue Vol. 26, No. 1, 2016, Page(s) 817-832, ISSN 2334-5837
Publisher:
Wiley
DOI:
10.1002/j.2334-5837.2016.00195
Author(s):
Amalio, Nuno; Payne, Richard; Cavalcanti, Anan L. C.; Woodcock, Jím.
Published in:
Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science, Issue Vol. 10009, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-47846-3_28
Author(s):
Sadovykh, Andrey; Bagnato, Alessandra; Quadri, Imran; El-Din Mady, Alie; Couto, Luis D.; Basagiannis, Stylianos; Hasanagic, Miran.
Published in:
CEE-SECR '16 Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia, 2016
Publisher:
ACM Digital Library
DOI:
10.1145/3022211.3022212
Author(s):
Foster, Simon D.; Zeyda, Frank; Woodcock, Jim.
Published in:
Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science, Issue Vol. 9965, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-46750-4_17
Author(s):
Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim.
Published in:
Unifying Theories of Programming. UTP 2016. Lecture Notes in Computer Science., Issue Vol. 10134, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-52228-9_3
Author(s):
Cavalcanti, Ana; Woodcock, Jim; Amalio, Nuno.
Published in:
Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science, Issue Vol 9965, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-46750-4_15
Author(s):
Woodcock, Jim; Foster, Simon D.; Butterfield, Andrew.
Published in:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, Issue Vol. 9952, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-47166-2_26
Author(s):
Thule, Csaper; Nilsson, Rene.
Published in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016
Publisher:
Aarhus University, Department of Engineering
Author(s):
Thule, Casper.
Published in:
CEUR Workshop Proceedings, 2016
Publisher:
FM 2016
Author(s):
Jackson, Mark; Fitzgerald, John.
Published in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016
Publisher:
Aarhus University, Department of Engineering
Author(s):
Fabbri, T.; Verhoef, Marcel; Bandur, Victor; Perrotin, M.; Tsiodras, T.; Larsen, Peter Gorm.
Published in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016
Publisher:
Aarhus University, Department of Engineering
Author(s):
Larsen, Peter Gorm; Thule, Casper; Lausdahl, Kenneth; Bandur, Victor; Gamble, Carl; Brosse, Etienne; Sadovykh, Andrey; Bagnato, Alessandra; Couto, Luis D.
Published in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016
Publisher:
Aarhus University, Department of Engineering
Author(s):
Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter W.V.; Lausdahl, Kenneth.
Published in:
FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Issue Vol. 9995, 2016
Publisher:
Springer
DOI:
10.1007/978-3-319-48989-6_21
Author(s):
John Fitzgerald, Carl Gamble, Richard Payne, Benjamin Lam
Published in:
INCOSE International Symposium, Issue 27/1, 2017, Page(s) 371-385, ISSN 2334-5837
Publisher:
Wiley
DOI:
10.1002/j.2334-5837.2017.00366.x
Author(s):
Quadri, Imran; Bagnato, Alessandra; Brosse, Etienne; Sadovykh, Andrey.
Published in:
Ada User Journal, Issue 36/4, 2015, ISSN 1381-6551
Publisher:
Ada Language UK Ltd.
Author(s):
Martin Christiansen, Peter Larsen, Rasmus Jørgensen
Published in:
Robotics, Issue 4/4, 2015, Page(s) 398-421, ISSN 2218-6581
Publisher:
MDPI
DOI:
10.3390/robotics4040398
Author(s):
Peter Gorm Larsen, John Fitzgerald
Published in:
Journal of Logical and Algebraic Methods in Programming, Issue 85/5, 2016, Page(s) 985-998, ISSN 2352-2208
Publisher:
Elsevier
DOI:
10.1016/j.jlamp.2015.10.001
Author(s):
Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Published in:
Revue Génie Logiciel, Issue 113, 2015, ISSN 1265-1397
Publisher:
Génie Logiciel
Author(s):
C. Thule, P.G. Larsen
Published in:
Proceedings of the Institute for System Programming of the RAS, Issue 28/2, 2016, Page(s) 139-156, ISSN 2079-8156
Publisher:
Institute for System Programming of the Russian Academy of Sciences (ISPRAS)
DOI:
10.15514/ISPRAS-2016-28(2)-9
Author(s):
Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Published in:
Ada User Journal, Issue Vol. 37, No. 4, 2016, ISSN 1381-6551
Publisher:
Ada Language UK Ltd.
Author(s):
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe.
Published in:
Technical report, 2017
Publisher:
Cornell University Library
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available