Modeling and verification of wireless sensor networks in cognitive buildings using UPPAAL

Betreuer/in:            Muhammad Ekbal Ahmad            Dekanat/Institut:   B-1, Institute of Digital and Autonomous Construction            E-Mail:   muhammad.ekbal.ahmad@tuhh.de Description:

Weiterlesen