%0 Conference Paper %1 conf/smartgridsec/0001FKNT14 %A Hartmann, Thomas %A Fouquet, François %A Klein, Jacques %A Nain, Grégory %A Traon, Yves Le %B SmartGridSec %D 2014 %E Cuéllar, Jorge %I Springer %K dblp %P 139-153 %T Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning. %U http://dblp.uni-trier.de/db/conf/smartgridsec/smartgridsec2014.html#0001FKNT14 %V 8448 %@ 978-3-319-10328-0

@inproceedings{conf/smartgridsec/0001FKNT14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hartmann, Thomas and Fouquet, François and Klein, Jacques and Nain, Grégory and Traon, Yves Le}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a0c4212718ee98f0bba89f5c6ec132a2/dblp}, booktitle = {SmartGridSec}, crossref = {conf/smartgridsec/2014}, editor = {Cuéllar, Jorge}, ee = {https://doi.org/10.1007/978-3-319-10329-7_9}, interhash = {53b8f149db7c801dd3dbb650c0b55805}, intrahash = {a0c4212718ee98f0bba89f5c6ec132a2}, isbn = {978-3-319-10328-0}, keywords = {dblp}, pages = {139-153}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:37:03.000+0200}, title = {Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/smartgridsec/smartgridsec2014.html#0001FKNT14}, volume = 8448, year = 2014 }