Behavioural Verification in Embedded Software, from Model to Source Code.

Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stphane Duprat

Browse the full MODELS paper archive.