Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System.

Adina Aniculaesei, Andreas Vorwald, Andreas Rausch

Browse the full MODELS paper archive.