Formalising and Validating the Interface Description in the FMI standard. Hasanagić, M., Tran-Jørgensen, P. W. V., Lausdahl, K., & Larsen, P. G. In The 21st International Symposium on Formal Methods (FM 2016), November, 2016.
bibtex   
@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

Downloads: 0