Peter Gorm Larsen

Formalising and Validating the Interface Description in the FMI standard

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

Original languageEnglish
Title of host publicationFM 2016: Formal Methods : Proceedings of the 21st International Symposium on Formal Methods
EditorsJohn Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Number of pages8
Volume9995
PublisherSpringer
Publication year7 Nov 2016
Pages344-351
ISBN (print)978-331948988-9
ISBN (Electronic) 978-3-319-48989-6
DOIs
StatePublished - 7 Nov 2016
Event21st International Symposium on Formal Methods - Limassol, Cyprus
Duration: 7 Nov 201611 Nov 2016

Conference

Conference21st International Symposium on Formal Methods
LandCyprus
ByLimassol
Periode07/11/201611/11/2016
SeriesLecture Notes in Computer Science
Volume9995
ISSN0302-9743

Bibliographical note

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: 104494996