Combining VDM with Executable Code. Nielsen, C. B., Lausdahl, K., & Larsen, P. G. In Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., & Riccobene, E., editors, Abstract State Machines, Alloy, B, VDM, and Z, volume 7316, of Lecture Notes in Computer Science, pages 266–279, Berlin, Heidelberg, 2012. Springer-Verlag. ISBN 978-3-642-30884-0
Combining VDM with Executable Code [link]Paper  bibtex   2 downloads  
@inproceedings{Nielsen&12,
  address =       {Berlin, Heidelberg},
  author =        {Claus Ballegaard Nielsen and Kenneth Lausdahl and
                   Peter Gorm Larsen},
  booktitle =     {{Abstract State Machines, Alloy, B, VDM, and Z}},
  editor =        {Derrick, John and Fitzgerald, John and
                   Gnesi, Stefania and Khurshid, Sarfraz and
                   Leuschel, Michael and Reeves, Steve and
                   Riccobene, Elvinia},
  key =           {Nielsen\&12},
  note =          {{ISBN 978-3-642-30884-0}},
  pages =         {266--279},
  publisher =     {Springer-Verlag},
  series =        {Lecture Notes in Computer Science},
  title =         {{Combining VDM with Executable Code}},
  volume =        {7316},
  year =          {2012},
  url =           {http://dx.doi.org/10.1007/978-3-642-30885-7_19},
}


% G VDM COSIM TOOL

Downloads: 2