Formalising and Validating the Interface Description in the FMI standard. Hasanagić, M., Tran-J\orgensen, P. W. V., Lausdahl, K., & Larsen, P. G. In The 21st International Symposium on Formal Methods (FM 2016), November, 2016.
Formalising and Validating the Interface Description in the FMI standard [link]Paper  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",
	URL           = {http://www.springer.com/gp/book/9783319489889},
  COMMENT       = ""}

Downloads: 0