@INPROCEEDINGS{Hasanagic&16,
  KEY           = "Hasanagic\&16",
  AUTHOR        = "Miran Hasanagi\'{c} and Peter W. V. Tran-J\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{Formalising and Validating the Interface Description in the FMI standard}",
 BOOKTITLE     = "{The 21st International Symposium on Formal Methods (FM 2016)}",
 year =         "2016",
  MONTH         = "November",
  COMMENT       = ""}

%G VDM TOOL INTOCPS AGCO CODEGEN OVERTURE

{"_id":"y6YFCfPXSMeLCt6pC","bibbaseid":"hasanagi-tranjrgensen-lausdahl-larsen-formalisingandvalidatingtheinterfacedescriptioninthefmistandard-2016","author_short":["Hasanagić, M.","Tran-Jørgensen, P. W. V.","Lausdahl, K.","Larsen, P. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Hasanagic&16","author":[{"firstnames":["Miran"],"propositions":[],"lastnames":["Hasanagić"],"suffixes":[]},{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Formalising and Validating the Interface Description in the FMI standard","booktitle":"The 21st International Symposium on Formal Methods (FM 2016)","year":"2016","month":"November","comment":"","bibtex":"@INPROCEEDINGS{Hasanagic&16,\n KEY = \"Hasanagic\\&16\",\n AUTHOR = \"Miran Hasanagi\\'{c} and Peter W. V. Tran-J\\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen\",\n TITLE = \"{Formalising and Validating the Interface Description in the FMI standard}\",\n BOOKTITLE = \"{The 21st International Symposium on Formal Methods (FM 2016)}\",\n year = \"2016\",\n MONTH = \"November\",\n COMMENT = \"\"}\n\n%G VDM TOOL INTOCPS AGCO CODEGEN OVERTURE\n","author_short":["Hasanagić, M.","Tran-Jørgensen, P. W. V.","Lausdahl, K.","Larsen, P. G."],"id":"Hasanagic&16","bibbaseid":"hasanagi-tranjrgensen-lausdahl-larsen-formalisingandvalidatingtheinterfacedescriptioninthefmistandard-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","HtWEJcCHFxSnPZdyr","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj","maALzmZwmtEEh8pXx"],"keywords":[],"search_terms":["formalising","validating","interface","description","fmi","standard","hasanagić","tran-jørgensen","lausdahl","larsen"],"title":"Formalising and Validating the Interface Description in the FMI standard","year":2016}