Thesis Topic Details

Topic ID:
3258
Title:
Formal modelling, verification and analysis of wireless mesh networks
Supervisor:
Rob van Glabbeek
Research Area:
Theory, Wireless mesh networks, Formal Methods
Associated Staff
Assessor:
Peter Hofner
Topic Details
Status:
Active
Type:
Research
Programs:
Group Suitable:
Yes
Industrial:
No
Pre-requisites:
The ability to understand and deliver formal mathematical proofs.
Description:
Applications of process algebra and other formal methods to the verification and analysis of routing algorithms for wireless mesh networks.
Or the design of a new and better routing algorithm.
Or any topic that suits both the student and me.
Taking COMP9151 and COMP 9152 helps.
Comments:
I'm interested in strong and independent students only.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.