\n \n \n
\n
\n\n \n \n \n \n \n \n Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim.\n \n \n \n \n\n\n \n Lausdahl, K.; Coleman, J. W.; and Larsen, P. G.\n\n\n \n\n\n\n In Plat, N.; Nielsen, C. B.; and Riddle, S., editor(s),
Proceedings of the 10th Overture Workshop, of
Technical Report Series, pages 30–37, August 2012. Computing Science, Newcastle University\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&12,\r\n author = {Lausdahl, Kenneth and Coleman, Joey W. and\r\n Larsen, Peter Gorm},\r\n booktitle = {Proceedings of the 10th Overture Workshop},\r\n editor = {Nico Plat and Claus Ballegaard Nielsen and\r\n Steve Riddle},\r\n key = {Lausdahl\\&12},\r\n month = {August},\r\n number = {CS-TR-1345},\r\n organization = {Computing Science, Newcastle University},\r\n pages = {30--37},\r\n series = {Technical Report Series},\r\n title = {{Towards a Co-simulation Semantics of\r\n {VDM-RT/Overture} and 20-sim}},\r\n year = {2012},\r\n url = {http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf},\r\n}\r\n\r\n\r\n% G VDM TOOL\r\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Combining VDM with Executable Code.\n \n \n \n \n\n\n \n Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Derrick, J.; Fitzgerald, J.; Gnesi, S.; Khurshid, S.; Leuschel, M.; Reeves, S.; and Riccobene, E., editor(s),
Abstract State Machines, Alloy, B, VDM, and Z, volume 7316, of
Lecture Notes in Computer Science, pages 266–279, Berlin, Heidelberg, 2012. Springer-Verlag\n
ISBN 978-3-642-30884-0\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{Nielsen&12,\r\n address = {Berlin, Heidelberg},\r\n author = {Claus Ballegaard Nielsen and Kenneth Lausdahl and\r\n Peter Gorm Larsen},\r\n booktitle = {{Abstract State Machines, Alloy, B, VDM, and Z}},\r\n editor = {Derrick, John and Fitzgerald, John and\r\n Gnesi, Stefania and Khurshid, Sarfraz and\r\n Leuschel, Michael and Reeves, Steve and\r\n Riccobene, Elvinia},\r\n key = {Nielsen\\&12},\r\n note = {{ISBN 978-3-642-30884-0}},\r\n pages = {266--279},\r\n publisher = {Springer-Verlag},\r\n series = {Lecture Notes in Computer Science},\r\n title = {{Combining VDM with Executable Code}},\r\n volume = {7316},\r\n year = {2012},\r\n url = {http://dx.doi.org/10.1007/978-3-642-30885-7_19},\r\n}\r\n\r\n\r\n% G VDM COSIM TOOL\r\n\r\n\r\n\n
\n\n\n\n
\n\n\n
\n\n\n\n\n\n