Stem scade$ (all stems)
2 papers:
- ASE-2008-Papailiopoulou #automation #generative #source code #testing
- Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.
- LCTES-2003-CaspiCMSTN #approach #distributed #embedded
- From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.