Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets.

Romain Thibert, Gregory Faraut, Sad Amari

Browse the full ETFA paper archive.