Items by "Bartels, Björn"
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
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.
Up a level