Risultati finali
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)
Pubblicazioni
Autori:
Simon Foster, Jim Woodcock
Pubblicato in:
Concurrency, Security, and Puzzles, 2017, Pagina/e 39-64, ISBN 978-3-319-51046-0
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-51046-0_3
Autori:
Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock
Pubblicato in:
Present and Ulterior Software Engineering, 2017, Pagina/e 173-194, ISBN 978-3-319-67425-4
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-67425-4_11
Autori:
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
Pubblicato in:
Theoretical Aspects of Computing - ICTAC 2015, Numero Lecture Notes in Computer Science, Vol. 9399, 2015, Pagina/e 505-523, ISBN 978-3-319-25150-9
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-25150-9_29
Autori:
Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Lecomte, Thierry.
Pubblicato in:
Trustworthy Cyber-Physical Systems Engineering, 2016, ISBN 978-1-4987-4248-1
Editore:
CRC Press, Taylor & Francis Group
DOI:
10.1201/9781315369105
Autori:
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
Pubblicato in:
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 2017, Pagina/e 73-82, ISBN 978-989-758-265-3
Editore:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0006412700730082
Autori:
Oldrich Faldik, Richard Payne, John Fitzgerald, and Barbora Buhnova.
Pubblicato in:
14th Intl Workshop on Formal Engineering approaches to Software Components and Architectures, at ETAPS, Uppsala, Sweden, Numero EPTCS 245, 2017, Pagina/e 1-15
Editore:
Open Publishing Association
Autori:
P. G. Larsen, J. Fitzgerald, J. Woodcock, C. Gamble, R. Payne and K. Pierce.
Pubblicato in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Numero Lecture Notes in Computer Science, Vol. 10729, 2017
Editore:
Springer
Autori:
Alachew Mengist, Adrian Pop, Adeel Asghar and Peter Fritzson.
Pubblicato in:
12th International Modelica Conference 2017, 2017, Pagina/e 823 - 830
Editore:
Linköping University Electronic Press
Autori:
F. Zeyda, J. Ouy, S. Foster and A. Cavalcanti.
Pubblicato in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Numero Lecture Notes in Computer Science, Vol 10729, 2017
Editore:
Springer
Autori:
L.D. Couto, S. Basagiannis, E.H. Ridouane, A. El-Din Mady, M. Hasanagic and P.G. Larsen.
Pubblicato in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Numero Lecture Notes in Computer Science, Vol. 10729, 2017
Editore:
Springer
Autori:
M. Jackson and J. Fitzgerald.
Pubblicato in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Numero Lecture Notes in Computer Science, Vol. 10729, 2017
Editore:
Springer
Autori:
F. Foldager, P.G. Larsen and O. Green.
Pubblicato in:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Numero Lecture Notes in Computer Science Vol 10729, 2017
Editore:
Springer
Autori:
Luis Diogo Couto and Ken Pierce.
Pubblicato in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Numero CS-TR- 1513-2017, 2017, Pagina/e 31-43
Editore:
Newcastle University, Computing Science
Autori:
Hansen Salim and John Fitzgerald.
Pubblicato in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Numero CS-TR- 1513-2017, 2017, Pagina/e 44-58
Editore:
Newcastle University, Computing Science
Autori:
Sergio Feo-Arenis, Marcel Verhoef, and Peter Gorm Larsen.
Pubblicato in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Numero CS-TR- 1513-2017, 2017, Pagina/e 130-144
Editore:
Newcastle University, Computing Science
Autori:
Victor Bandur, Peter W. V. Tran-Jørgensen, Miran Hasanagić, and Kenneth Lausdahl.
Pubblicato in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Numero CS-TR- 1513-2017, 2017, Pagina/e 1-15
Editore:
Newcastle University, Computing Science
Autori:
Mihai Neghina, Constantin-Bala Zamfirescu, Peter Gorm Larsen, Kenneth Lausdahl, and Ken Pierce.
Pubblicato in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Numero CS-TR- 1513-2017, 2017, Pagina/e 116-129
Editore:
Newcastle University, Computing Science
Autori:
Kenneth Lausdahl, Kim Bjerge, Tom Bokhove, Frank Groen, and Peter Gorm Larsen.
Pubblicato in:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Numero CS-TR- 1513-2017, 2017, Pagina/e 16-30
Editore:
Newcastle University, Computing Science
Autori:
Bernhard Thiele, Thomas Beutlich, Volker Waurich, Martin Sjölund, Tobias Bellmann.
Pubblicato in:
Proceedings of the 12th International Modelica Conference, 2017, Pagina/e 713-723
Editore:
Linköping University Electronic Press
Autori:
K. Lausdahl, C. Thule and P.G. Larsen, J. Höll, C König, A. Klueber, M. Pfeil, V. Fässler.
Pubblicato in:
FMI User Meeting, 2017
Editore:
FMI
Autori:
Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, Georgios; Lausdahl, Kenneth; Tran-Jørgensen, Peter W. V.
Pubblicato in:
Electronic Proceedings in Theoretical Computer Science, 2015
Editore:
Corner University Library
Autori:
John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
Pubblicato in:
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 2015, Pagina/e 40-46, ISBN 978-1-4673-7043-1
Editore:
IEEE
DOI:
10.1109/FormaliSE.2015.14
Autori:
Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Pubblicato in:
ICSSEA 2015 Proceedings, 2015
Editore:
ICSSEA
Autori:
Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Peter Fritzson, Jorg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Pubblicato in:
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), 2016, Pagina/e 1-6, ISBN 978-1-5090-1154-4
Editore:
IEEE
DOI:
10.1109/CPSData.2016.7496424
Autori:
Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Nilsson, Rene; Gamble, Carl; Foster, Simon.
Pubblicato in:
Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science, Numero Vol. 9953, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-47169-3_13
Autori:
Fitzgerald, John; Gamble, Carl; Payne, Richard; Larsen, Peter Gorm; Basagiannis, Stylianos; Mady, Ali El-Din.
Pubblicato in:
INCOSE International Symposium, Numero Vol. 26, No. 1, 2016, Pagina/e 817-832, ISSN 2334-5837
Editore:
Wiley
DOI:
10.1002/j.2334-5837.2016.00195
Autori:
Amalio, Nuno; Payne, Richard; Cavalcanti, Anan L. C.; Woodcock, Jím.
Pubblicato in:
Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science, Numero Vol. 10009, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-47846-3_28
Autori:
Sadovykh, Andrey; Bagnato, Alessandra; Quadri, Imran; El-Din Mady, Alie; Couto, Luis D.; Basagiannis, Stylianos; Hasanagic, Miran.
Pubblicato in:
CEE-SECR '16 Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia, 2016
Editore:
ACM Digital Library
DOI:
10.1145/3022211.3022212
Autori:
Foster, Simon D.; Zeyda, Frank; Woodcock, Jim.
Pubblicato in:
Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science, Numero Vol. 9965, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-46750-4_17
Autori:
Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim.
Pubblicato in:
Unifying Theories of Programming. UTP 2016. Lecture Notes in Computer Science., Numero Vol. 10134, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-52228-9_3
Autori:
Cavalcanti, Ana; Woodcock, Jim; Amalio, Nuno.
Pubblicato in:
Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science, Numero Vol 9965, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-46750-4_15
Autori:
Woodcock, Jim; Foster, Simon D.; Butterfield, Andrew.
Pubblicato in:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, Numero Vol. 9952, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-47166-2_26
Autori:
Thule, Csaper; Nilsson, Rene.
Pubblicato in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Numero Vol. 4, No. 28, 2016
Editore:
Aarhus University, Department of Engineering
Autori:
Thule, Casper.
Pubblicato in:
CEUR Workshop Proceedings, 2016
Editore:
FM 2016
Autori:
Jackson, Mark; Fitzgerald, John.
Pubblicato in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Numero Vol. 4, No. 28, 2016
Editore:
Aarhus University, Department of Engineering
Autori:
Fabbri, T.; Verhoef, Marcel; Bandur, Victor; Perrotin, M.; Tsiodras, T.; Larsen, Peter Gorm.
Pubblicato in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Numero Vol. 4, No. 28, 2016
Editore:
Aarhus University, Department of Engineering
Autori:
Larsen, Peter Gorm; Thule, Casper; Lausdahl, Kenneth; Bandur, Victor; Gamble, Carl; Brosse, Etienne; Sadovykh, Andrey; Bagnato, Alessandra; Couto, Luis D.
Pubblicato in:
The 14th Overture Workshop: Towards Analytical Tool Chains, Numero Vol. 4, No. 28, 2016
Editore:
Aarhus University, Department of Engineering
Autori:
Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter W.V.; Lausdahl, Kenneth.
Pubblicato in:
FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Numero Vol. 9995, 2016
Editore:
Springer
DOI:
10.1007/978-3-319-48989-6_21
Autori:
John Fitzgerald, Carl Gamble, Richard Payne, Benjamin Lam
Pubblicato in:
INCOSE International Symposium, Numero 27/1, 2017, Pagina/e 371-385, ISSN 2334-5837
Editore:
Wiley
DOI:
10.1002/j.2334-5837.2017.00366.x
Autori:
Quadri, Imran; Bagnato, Alessandra; Brosse, Etienne; Sadovykh, Andrey.
Pubblicato in:
Ada User Journal, Numero 36/4, 2015, ISSN 1381-6551
Editore:
Ada Language UK Ltd.
Autori:
Martin Christiansen, Peter Larsen, Rasmus Jørgensen
Pubblicato in:
Robotics, Numero 4/4, 2015, Pagina/e 398-421, ISSN 2218-6581
Editore:
MDPI
DOI:
10.3390/robotics4040398
Autori:
Peter Gorm Larsen, John Fitzgerald
Pubblicato in:
Journal of Logical and Algebraic Methods in Programming, Numero 85/5, 2016, Pagina/e 985-998, ISSN 2352-2208
Editore:
Elsevier
DOI:
10.1016/j.jlamp.2015.10.001
Autori:
Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Pubblicato in:
Revue Génie Logiciel, Numero 113, 2015, ISSN 1265-1397
Editore:
Génie Logiciel
Autori:
C. Thule, P.G. Larsen
Pubblicato in:
Proceedings of the Institute for System Programming of the RAS, Numero 28/2, 2016, Pagina/e 139-156, ISSN 2079-8156
Editore:
Institute for System Programming of the Russian Academy of Sciences (ISPRAS)
DOI:
10.15514/ISPRAS-2016-28(2)-9
Autori:
Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Pubblicato in:
Ada User Journal, Numero Vol. 37, No. 4, 2016, ISSN 1381-6551
Editore:
Ada Language UK Ltd.
Autori:
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe.
Pubblicato in:
Technical report, 2017
Editore:
Cornell University Library
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile