• Hardware In the Loop for VDM-r...

*Result*: Hardware In the Loop for VDM-real time modeling of embedded systems

Title:
Hardware In the Loop for VDM-real time modeling of embedded systems
Authors:
Isasa, Jose Antonio Esparza, Jorgensen, Peter Wurtz Vinther, Larsen, Peter Gorm
Source:
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on. :209-216 Jan, 2014
Relation:
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Database:
IEEE Xplore Digital Library