Model-Checking von Sensornetzwerk-Knoten mit Hilfe von [mc]square

Student

Matthias Moers

Betreuer


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland