Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen
Formalising and Validating the Interface Description in the FMI Standard
FM, 2016.
@inproceedings{FM-2016-HasanagicTLL,
author = "Miran Hasanagic and Peter W. V. Tran-Jørgensen and Kenneth Lausdahl and Peter Gorm Larsen",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_21",
isbn = "978-3-319-48988-9",
pages = "344--351",
title = "{Formalising and Validating the Interface Description in the FMI Standard}",
year = 2016,
}