A comparison of executable model based approaches for embedded systems.

Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV

Browse the full ICSE paper archive.