Automated Exploration of Alternative System Architectures with VDM-RT. Lausdahl, K. & Ribeiro, A. In Wolff, S. & Fitzgerald, J., editors, Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 17–31, June, 2011.
Automated Exploration of Alternative System Architectures with VDM-RT [pdf]Paper  bibtex   
@inproceedings{Lausdahl&11c,
  author =        {Kenneth Lausdahl and Augusto Ribeiro},
  booktitle =     {Proceedings of the 9th Overture Workshop},
  editor =        {Sune Wolff and John Fitzgerald},
  key =           {Lausdahl\&11},
  month =         {June},
  number =        {ECE-TT-2},
  pages =         {17--31},
  series =        {Technical Report Series},
  title =         {{Automated Exploration of Alternative System
                   Architectures with VDM-RT}},
  year =          {2011},
  url =           {Lausdahl&11c.pdf},
}


% G VDM COSIM TOOL DESTECS
Downloads: 0