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

Imprint | Webmaster | Recent changes: 10.12.2010