José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen. Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. In Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. pages 209-216, SciTePress, 2014. [doi]
Abstract is missing.