Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems.

Tiziano Fiorucci, Jean-Marc Daveau, Giorgio Di Natale, Philippe Roche

Browse the full IOLTS paper archive.