[FFA] Australisches Forscherteam: Formalisierung und Verifizierung von OSLR, Praktikumsplatz mit Vollstipendium

[Profpatsch]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Das hat mich auch stutzig gemacht, war aber zu faul, nachzuschauen. ;-)

Wära das eventuell auch für die deutsche ML interessant?
- --
Sent from my Android phone with K-9 Mail. Please excuse my brevity.

Manuel Munz <freifunk at somakoma.de> wrote:

>On 05.12.2012 12:19, Profpatsch wrote:
>> 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.
>>
>[...]
>
>
>Danke für den Hinweis, evtl. gibts ja jemanden der daran Interesse hat.
>Interessant find ich auch, dass selbst die Mesh-Forscher in ihrer
>Ausschreibung das Ding OSLR nennen wo doch OLSR richtig wäre. Optimized
>Link State Routing, kann man sich doch merken...
>
>Grüße, soma
>
>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>freifunk-augsburg mailing list
>freifunk-augsburg at lists.subsignal.org
>https://lists.subsignal.org/mailman/listinfo/freifunk-augsburg
-----BEGIN PGP SIGNATURE-----
Version: APG v1.0.8

iQI9BAEBCAAnBQJQwFjTIBxQcm9mcGF0c2NoIDxtYWlsQHByb2ZwYXRzY2guZGU+
AAoJEMXP0IsiJHzfizcQAIYXfHjhSiKSH73X3O5HqYGzXZ9AR5QnNkApRqthQvOr
LN6dO4DpNlfuFgjgNhfDAIs6SGVbYbcu+9OeOwSmV7dgsPVbJb6rVAwEdOvg7zWH
l5AhMd6jlZAq2FSbdRETb4KsOAtNIdTz0vUyFbTLUm0alwX7CtwxEcZy5zXnToyQ
39laHzZwVgxMLHuM9Lwzk5+myP7gnJ7kj3eot2FrRRmZU7w1L3qM40ESWYpKWQqE
qgrayDqAq9Zkj3QmwLkmyQM4oxF6TgrVPTAJagAuNtm2k1Em/55TbUOz6L1n1S7Z
Cp/D+BWSkSwsliX0P8PhrkccQqLsYZ4qeTkD/7XBpDt5SxREuJQLBjjF4o13ovlz
ve8al0DO6ss0yTda7XV0Toi5Vr9x8e0KxODULm9Hh2aq2UBOg1ItclrDNlnQM3Xb
3W/IAHkJX2/klxt/pQ69+Y/1WkuDWrj9i4yvwF4B8HSSasAOr4Ek3nKAzeIac19j
LXm7QyIAw1JvuFHvZjpcasvAMXyU411nPI8IH/vNInbnk1imqmMf77m2fLCG46J/
0IOg5n84pHh1B6gOWnYl2m2DGJm2HMtuP69l01sRJ4MEMQmuRjXMB7YRR94BOr74
IuaiYKS4EmN+AymxgCr/pBhlpHjr4ACTWE826FzsbSum+LNBWaS7/kAOt0iTBYch
=7EaD
-----END PGP SIGNATURE-----