Thomas Göthel, Björn Bartels. Modular Design and Verification of Distributed Adaptive Real-Time Systems. In Phan Cong Vinh, Emil Vassev, Mike Hinchey, editors, Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers. Volume 144 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 3-12, Springer, 2014. [doi]
Abstract is missing.