Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.

Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey

Browse the full ISORC paper archive.