Department of
Information Technology
Loading
Start
Education
Research
Doctoral education
About the department
Contact
Internal
Listen
ProFuN Home
Research
Members
Publications
Events
Courses
Seminars
Positions
Contact
Internal
ProFuN Events
2012
TBA
2011
(None)
2010
We have co-organised the
Dagstuhl seminar: Quantitative and Qualitative Analysis of Network Protocols
(31 January - 5 February 2010), which focused on the modelling and analysis of protocols for networks with a large number of nodes, with sensor networks being a typical case.
Presentation by Bengt Jonsson:
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
x
Search results appear here...
(31 January - 5 February 2010), which focused on the modelling and analysis of protocols for networks with a large number of nodes, with sensor networks being a typical case.
External link PDF document