| 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