Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning

Thomas Hartmann 0001, François Fouquet, Jacques Klein, Grégory Nain, Yves Le Traon. Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning. In Jorge Cuéllar, editor, Smart Grid Security - Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers. Volume 8448 of Lecture Notes in Computer Science, pages 139-153, Springer, 2014. [doi]

Authors

Thomas Hartmann 0001

This author has not been identified. Look up 'Thomas Hartmann 0001' in Google

François Fouquet

This author has not been identified. Look up 'François Fouquet' in Google

Jacques Klein

This author has not been identified. Look up 'Jacques Klein' in Google

Grégory Nain

This author has not been identified. Look up 'Grégory Nain' in Google

Yves Le Traon

This author has not been identified. It may be one of the following persons: Look up 'Yves Le Traon' in Google