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

Anthony Fernandes Pires Thomas Polacsek Virginie Wiels Stéphane Duprat

Published in: MoDELS (2013)

Keyphrases

source code
open source
artificial intelligence
high level
static analysis
information systems
software systems
embedded software
databases
business processes
software repositories