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

[Manuel Munz]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.subsignal.org/pipermail/freifunk-augsburg/attachments/20121205/fc21ad24/attachment.pgp>