Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.

Jos Antonio Esparza Isasa, Peter Wrtz Vinther Jrgensen, Peter Gorm Larsen

Browse the full MODELSWARD paper archive.