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   

Downloads: 0