| Title: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration |
| Booktitle: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA |
| Written by: H. Giese, S. Burmester, W. Schäfer, O. Oberschelp: |
| in: November 2004 |
| Volume: Number: |
| on pages: 179-188 |
| Chapter: |
| Editor: |
| Publisher: ACM Press |
| Series: |
| Address: |
| Edition: |
| ISBN: |
| how published: |
| Organization: |
| School: |
| Institution: |
| ISSN: |
| Doi: |
| File: FSE2004.pdf |
| URL: |
Note:
Abstract:
Eintrag als Bibtex exportieren