%0 Conference Paper %1 conf/fm/HasanagicTLL16 %A Hasanagic, Miran %A Tran-Jørgensen, Peter W. V. %A Lausdahl, Kenneth %A Larsen, Peter Gorm %B FM %D 2016 %E Fitzgerald, John S. %E Heitmeyer, Constance L. %E Gnesi, Stefania %E Philippou, Anna %K dblp %P 344-351 %T Formalising and Validating the Interface Description in the FMI Standard. %U http://dblp.uni-trier.de/db/conf/fm/fm2016.html#HasanagicTLL16 %V 9995 %@ 978-3-319-48988-9

@inproceedings{conf/fm/HasanagicTLL16, added-at = {2021-04-09T00:00:00.000+0200}, author = {Hasanagic, Miran and Tran-Jørgensen, Peter W. V. and Lausdahl, Kenneth and Larsen, Peter Gorm}, biburl = {https://www.bibsonomy.org/bibtex/29b6e8957db5c1c87068322c23ef6ef14/dblp}, booktitle = {FM}, crossref = {conf/fm/2016}, editor = {Fitzgerald, John S. and Heitmeyer, Constance L. and Gnesi, Stefania and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-319-48989-6_21}, interhash = {84412a66468a575a80b14a940db23842}, intrahash = {9b6e8957db5c1c87068322c23ef6ef14}, isbn = {978-3-319-48988-9}, keywords = {dblp}, pages = {344-351}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:12:50.000+0200}, title = {Formalising and Validating the Interface Description in the FMI Standard.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2016.html#HasanagicTLL16}, volume = 9995, year = 2016 }