Login / Signup

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.

Andrea CeccarelliDavide BasileAndrea BondavalliLorenzo FalaiAlessandro FantechiSandro FerrariGianluca MandòNicola NostroLuigi Rucher
Published in: SAFECOMP Workshops (2019)
Keyphrases
  • lightweight
  • model checking
  • end to end
  • neural network
  • design process