Formal methods for the analysis of wireless network protocols

<p>In this thesis, we present novel software technology for the analysis of wireless networks, an emerging area of computer science. To address the widely acknowledged lack of formal foundations in this field, probabilistic model checking, a formal method for verification and performance analy...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Fruth, M
Այլ հեղինակներ: Kwiatkowska, MZ
Ձևաչափ: Թեզիս
Լեզու:English
Հրապարակվել է: 2011
Խորագրեր: