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.
![[thumbnail of 20983.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "20983.pdf")
PDF
20983.pdf
Download (686kB)
Abstract
A promising way to cope with complexity in verifying large systems is to perform modular verification
where components are verified separately. However, in the context of adaptive systems, it is difficult to
apply this principle because adaptation behaviour and functional behaviour are often inter
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 10:23 |
| Last Modified: | 12 Apr 2026 11:13 |
| URI: | http://eprints.eai.eu/id/eprint/12430 |
Actions (login required)
- View Item