Result: Correct-by-Construction Development of Dynamic Topology Control Algorithms
Title:
Correct-by-Construction Development of Dynamic Topology Control Algorithms / von Roland Speith
Involved:
Published:
Darmstadt, 2019
Scope:
1 Online-Ressource (IX, 328 Seiten)
Format:
Language:
English
Dissertation note:
Dissertation, Technische Universität Darmstadt, 2019
Notes:
kostenfrei
RVK-Notation:
Subject Added Keywords: