The Mars-Rover Case Study Modelled Using INTO-CPS. Feo-Arenis, S., Marcel Verhoef, undefined, & Larsen, P. G. In The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 130--144, Newcastle, UK, September, 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1512.
bibtex   
@INPROCEEDINGS{Feo-Arenis&17,
  KEY           = "Feo-Arenis\&17",
  AUTHOR        = "Sergio Feo-Arenis and Marcel Verhoef, and Peter Gorm Larsen",
  EDITOR        = "{Fitzgerald, Tran-J\o{}rgensen, Oda}",
  TITLE         = "{The Mars-Rover Case Study Modelled Using INTO-CPS}",
  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",
  ORGANIZATION  = "Newcastle University",
  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1512",
  ADDRESS       = "Newcastle, UK",
  YEAR          = "2017",
  MONTH         = "September",
  PAGES         = "130--144",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

Downloads: 0