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