Estadisticas : Security modelling and formal verification of survivability properties: Application to cyber–physical systems

Bernardi, S.
Visitas:1017

642 ( Estados Unidos de América )

134 ( Singapur )

91 ( Reino Unido )

25 ( Alemania )

23 ( Hong kong )

16 ( Letonia )

13 ( Austria )

11 ( Brasil )

10 ( España )

9 ( Irlanda )

8 ( China )

7 ( Rusia )

7 ( Suecia )

3 ( Francia )

3 ( México )

2 ( Finlandia )

1 ( Bulgaria )

1 ( Argelia )

1 ( Pakistán )

1 ( Rumanía )

1 ( Chile )

1 ( Irak )

1 ( Irán )

1 ( Albania )

1 ( Vietnam )

1 ( India )

1 ( Omán )

1 ( Angola )

Descargas: 1068