Publications

Details for HHH10

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

Imprint | Webmaster | Recent changes: 10.12.2010