A Deterministic Interpreter Simulating A Distributed real time system using VDM. Lausdahl, K., Larsen, P. G., & Battle, N. In Qin, S. & Qiu, Z., editors, Formal Methods and Software Engineering, volume 6991, of Lecture Notes in Computer Science, pages 179–194, Berlin, Heidelberg, October, 2011. Springer-Verlag. ISBN 978-3-642-24558-9
A Deterministic Interpreter Simulating A Distributed real time system using VDM [link]Paper  bibtex   
@INPROCEEDINGS{Lausdahl&11,
  KEY           = "Lausdahl\&11",
  AUTHOR        = "Kenneth Lausdahl and Peter Gorm Larsen and Nick Battle",
  title         = "{A Deterministic Interpreter Simulating A Distributed real time system using VDM}",
  booktitle     = {{Formal Methods and Software Engineering}},
  series        = {Lecture Notes in Computer Science},
  volume        = {6991},
  editor        = {Qin, Shengchao and Qiu, Zongyan},
  YEAR          = "2011",
  MONTH         = "October",
  note          = "{ISBN 978-3-642-24558-9}",
   location     = {Durham, UK},
 pages          = {179--194},
 numpages       = {16},
 url            = {http://dl.acm.org/citation.cfm?id=2075089.2075107},
   publisher    = {Springer-Verlag},
 address        = {Berlin, Heidelberg},
  }

% G VDM COSIM TOOL

Downloads: 0