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