Publications
Details for EH10
| Title: Component Behavior Synthesis for Critical Systems |
| Booktitle: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings |
| Written by: T. Eckardt, S. Henkler: |
| in: 2010 |
| Volume: 6150 Number: |
| on pages: 52-71 |
| Chapter: |
| Editor: Holger Giese |
| Publisher: Springer-Verlag Berlin Heidelberg |
| Series: Lecture Notes in Computer Science |
| Address: |
| Edition: |
| ISBN: 978-3-642-13555-2 |
| how published: |
| Organization: |
| School: |
| Institution: |
| ISSN: 0302-9743 |
| Doi: |
| File: EH10.pdf |
| URL: |
Note:
Abstract:
Eintrag als Bibtex exportieren