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   

Downloads: 0