مرکز منطقه ای اطلاع رساني علوم و فناوري - A formal validation methodology for MANET routing protocols based on nodes’ self similarity

Title of article :

A formal validation methodology for MANET routing protocols based on nodes’ self similarity

Author/Authors :

Stephane Maag، نويسنده , , Cyril Grepet، نويسنده , , Ana Cavalli، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

From page :

827

To page :

841

Keywords :

MANET , Formal model , Self Similarity , DSR , Conformance testing

Journal title :

Computer Communications

Serial Year :

2008

Journal title :

Computer Communications

Record number :

310899

Link To Document :