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. |
||