[WLANnews] Formalisierung und Verifizierung von OSLR, Praktikumsplatz mit Vollstipendium

[Hirschgott]

-------- Original Message --------
Subject: [FFA] Australisches Forscherteam: Formalisierung und
Verifizierung von OSLR, Praktikumsplatz mit Vollstipendium
Date: Wed, 05 Dec 2012 12:19:40 +0100
From: Profpatsch <>
To: Freifunk Augsburg <freifunk-augsburg at lists.subsignal.org>

Hi Liste,

bei uns kam gerade vorhin jemand in die Vorlesung, der eine
Auslandspraktikums-Vollstipendiums-Aktion von daad.de vorstellte. Ein
Praktikumsplatz ließ mich aufhorchen und zwar geht es um eine
Implementierung von OSLR als Prozessalgebra, zur Verifizierung
bestimmter Eigenschaften, wie die Zusicherung, das Pakete immer
ankommen etc.

Das könnte die wissenschaftliche Bestätigung liefern, dass das
Protokoll so funktioniert, wie es soll und vllt. sogar Verbesserungen
vorschlagen.

Wenn wir hier einen Bachelor-Studenten haben, der Interesse and
Freifunk und Theoretischer Informatik (Prozessalgebra) hat, wäre es
bestimmt nicht verkehrt, sich da zu bewerben, in Anbetrach dessen,
dass ein Vollstipendium mit im Spiel ist.

Der Link ist dieser (nur mit Anmeldung):
http://www.daad.de/app-rise-ww/rise-ww/application/offer?id=9337&subject=55&country=0&language=0
Für alle anderen ist im Anhang die Beschreibung des Praktikums.

Weiterer Link: http://www.nicta.com.au/people/phoefner
Vllt. will mal jemand nach der Projektseite suchen (falls sie schon
existiert).

Tüdeldü,
Profpatsch



-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : 9337-343-modellingwmns.pdf
Dateityp    : application/pdf
Dateigröße  : 83219 bytes
Beschreibung: nicht verfügbar
URL         : <http://mailman.freifunk.net/pipermail/wlannews-freifunk.net/attachments/20121205/9ccb023a/attachment.pdf>
-------------- nächster Teil --------------
_______________________________________________
freifunk-augsburg mailing list
freifunk-augsburg at lists.subsignal.org
https://lists.subsignal.org/mailman/listinfo/freifunk-augsburg