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