Code Generation for Distributed Systems Modelled in VDM-RT. Hasanagíc, M. Master's thesis, Aarhus University, Department of Engineering, December, 2014.
bibtex   
@mastersthesis{ Hasanagic14,
  key = {Hasanagic14},
  author = {Miran Hasanagí{c}},
  title = {{Code Generation for Distributed Systems Modelled in VDM-RT}},
  school = {Aarhus University},
  address = {Department of Engineering},
  year = {2014},
  month = {December},
  size = {122},
  annote = {},
  comment = {}
}

Downloads: 0