MARRELLA and the Verification of an Embedded System.

Dominique Ambroise, Patrick Aug, Kamel Bouchefra, Brigitte Rozoy

Browse the full FOSSACS paper archive.