A Specification and Validation Technique Based on STATEMATE and FNLOG.

Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray

Browse the full ICFEM paper archive.