![](/img/cover-not-exists.png)
[IEEE 2007 IEEE International Performance, Computing, and Communications Conference - New Orleans, LA, USA (2007.04.11-2007.04.13)] 2007 IEEE International Performance, Computing, and Communications Conference - Applying Formal Evaluation to Worm Defense Design
Sharykin, Raman, Porras, Phillip A.Year:
2007
Language:
english
DOI:
10.1109/pccc.2007.358930
File:
PDF, 8.12 MB
english, 2007