Sign in

Specifying automated oracles for Simulink models.

Paulo Augusto NardiMárcio Eduardo DelamaroLuciano Baresi
Published in: RTCSA (2013)
Keyphrases