Towards Enabling Overture as a Platform for Formal Notation IDEs

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

DOI

Original languageEnglish
Title of host publicationProceedings of the 2nd International Workshop on Formal Integrated Development Environment : F-IDE 2015
Volume187
Publication year2015
Pages14-27
DOIs
StatePublished - 2015
Event2nd Workshop on Formal-IDE - Oslo, Norway
Duration: 22 Jun 201522 Jun 2015

Conference

Conference2nd Workshop on Formal-IDE
LandNorway
ByOslo
Periode22/06/201522/06/2015
SeriesElectronic Proceedings in Theoretical Computer Science
Volume187.2
ISSN2075-2180

Bibliographical note

Proceedings of the Second International Workshop on Formal Integrated Development Environment (F-IDE 2015).
This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

See relations at Aarhus University Citationformats

ID: 104560664