Engineering Sciences

Modeling and modular detection of time attacks in cyber-physical systems based on timed automata with guards and dioid algebra.

Publié le - Computers & Security

Auteurs : Bouthayna El Bouzaidi Tiali, Saïd Amari