Towards Verification of Multicore Motor-Drive Controllers in Aerospace.

Stylianos Basagiannis, Francisco Jos Gonzlez-Espn

Browse the full SAFECOMP paper archive.