Dimitri Prestat

Sujet de mémoire/thèse

Automatic Test Generation for Security Policies Modelled with Extended Finite State Machines