====== Applying Formal Methods for QoS Provisioning in Mobile Architectures ======
\\
\\
\\
=== Work Plan ===
\\
=== The Formal Model ===
πCalculus
\\
=== Simulating the Protocol ===
\\
\\
{{ :en:forschung:opnet.jpg |}}
\\
\\
\\
=== Acknowledgement ===
This work was funded by the DFG Cluster of Excellence on Ultra-high Speed Information and Communication (UMIC), German Research Foundation grant DFG EXC 89.
\\
=== References ===
\\
=== Contact ===