Compilation of synchronous observers as code contracts.

Arnaud Dieumegard Pierre-Loïc Garoche Temesghen Kahsai Alice Taillar Xavier Thirioux

Published in: SAC (2015)

Keyphrases

code generation
source code
programs written
supply chain
instruction scheduling
neural network
real time
artificial intelligence
software engineering
social welfare
error correcting