Items by "Göthel, Thomas"

Group by: Item Type | No Grouping
Number of items: 1.

Göthel, Thomas and Klös, Verena and Bartels, Björn (2015) Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Transactions on Self-Adaptive Systems.

This list was generated on Wed May 6 09:50:52 2026 UTC.