On model based synthesis of embedded control software.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Browse the full EMSOFT paper archive.