====== Applying Formal Methods for QoS Provisioning in Mobile Architectures ====== \\ \\ \\ === Work Plan === \\ === The Formal Model ===
πCalculus
Kamal Barakat
barakat [at] embedded [dot] rwth-aachen [dot] de
Tel. +49 (241) 80 21171
Fax +49 (241) 80 22150