Overview of VDM-RT Constructs and Semantic Issues. Lausdahl, K., Verhoef, M., Larsen, P. G., & Wolff, S. In Pierce, K., Plat, N., & Wolf, S., editors, Proceedings of the 8th Overture Workshop, of Technical Report Series, pages 57–67, September, 2010.
Overview of VDM-RT Constructs and Semantic Issues [pdf]Paper  bibtex   
@inproceedings{Lausdahl&10,
  author =        {Kenneth Lausdahl and Marcel Verhoef and
                   Peter Gorm Larsen and Sune Wolff},
  booktitle =     {Proceedings of the 8th Overture Workshop},
  editor =        {Ken Pierce and Nico Plat and Sune Wolf},
  key =           {Lausdahl\&10},
  month =         {September},
  number =        {CS-TR-1224},
  pages =         {57--67},
  series =        {Technical Report Series},
  title =         {{Overview of VDM-RT Constructs and Semantic Issues}},
  year =          {2010},
    URL = "Lausdahl&10.pdf",
}


%----------------------
% G VDM COSIM TOOL
Downloads: 0