Title: Refinement Checking of Self-Adaptive Embedded Component Architectures |
Booktitle: |
Written by: C. Heinzemann, S. Henkler, M. Hirsch: |
in: March 2010 |
Volume: Number: tr-ri-10-313 |
on pages: 1-10 |
Chapter: |
Editor: |
Publisher: |
Series: |
Address: |
Edition: |
ISBN: |
how published: |
Organization: |
School: |
Institution: University of Paderborn |
ISSN: |
Doi: |
File: HHH10.pdf |
URL: |
Note:
Abstract:
Eintrag als Bibtex exportieren