====== Applying Formal Methods for QoS Provisioning in Mobile Architectures ====== \\ \\ \\ === Work Plan === \\ === The Formal Model ===

πCalculus

\\ === Simulating the Protocol === \\ \\ {{ :en:forschung:opnet.jpg |}} \\ \\ \\ === References === \\ === Contact ===

Kamal Barakat

 

barakat [at] embedded [dot] rwth-aachen [dot] de

Tel. +49 (241) 80 21171

Fax +49 (241) 80 22150