Main
About Journal
Editorial Board
Issues
Latest Issue
Guide For Authors
Submit
Contact Us
Enter your login information.
Please sign in
Username/Email
*
Password
*
Remember me
Forgot Password
Join
The CSI Journal on Computer Science and Engineering
Sign In
Sign up
Main
About Journal
Editorial Board
Issues
Latest Issue
Guide For Authors
Submit
Contact Us
Search All Articles
Search by:
Title
Authors
Keywords
Abstract
Verification of Mobile Ad hoc Network Processes with Data
Fatemeh Ghassemi
Keywords:
Model checking
•
Ad hoc networks
•
Topology-dependent property
•
State-space explosion
Formal Modeling Routing Protocols in Mobile Ad Hoc Networks
Fatemeh Ghassemi
•
Ali Movaghar
Keywords:
Ad hoc Network Algebra
•
Restricted Broadcast
•
Topology Changes
