Engineering Sciences

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

Published on - Computers & Security

Authors: Bouthayna El Bouzaidi Tiali, Saïd Amari