Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Lausdahl, K., Coleman, J. W., & Larsen, P. G. In Plat, N., Nielsen, C. B., & Riddle, S., editors, Proceedings of the 10th Overture Workshop, of Technical Report Series, pages 30–37, August, 2012. Computing Science, Newcastle University.
Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim [pdf]Paper  bibtex   
@inproceedings{Lausdahl&12,
  author =        {Lausdahl, Kenneth and Coleman, Joey W. and
                   Larsen, Peter Gorm},
  booktitle =     {Proceedings of the 10th Overture Workshop},
  editor =        {Nico Plat and Claus Ballegaard Nielsen and
                   Steve Riddle},
  key =           {Lausdahl\&12},
  month =         {August},
  number =        {CS-TR-1345},
  organization =  {Computing Science, Newcastle University},
  pages =         {30--37},
  series =        {Technical Report Series},
  title =         {{Towards a Co-simulation Semantics of
                   {VDM-RT/Overture} and 20-sim}},
  year =          {2012},
  url =           {http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf},
}


% G VDM TOOL
Downloads: 0