On modeling and formally verifying secure explicit on-demand ad hoc routing protocols.
| Autor: | Pura, M.-L., Bica, I., Patriciu, V.-V. |
|---|---|
| Zdroj: | 2010 2nd International Conference on Software Technology & Engineering (ICSTE); 2010, pV2-V220, 433p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|