Djurre van der Wal - Verification of Wireless Network Protocols (AWN)

author:Djurre van der Wal
title:Verification of Wireless Network Protocols (AWN)
company:Data61, Australia (formerly NICTA)
keywords:AWN, mCRL2, model transformation, verification
topics:Case studies and Applications, Languages
committee:prof.dr. J.C. van de Pol
dr. A. Fehnker
Peter Höfner
Rob van Glabbeek
started:2017

MTV master project

Description