Publications

Details for HH08b_ag

Title: Iterative Behavior Synthesis by Combining Formal Verification and Model-Based Testing
Booktitle: Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany
Written by: S. Henkler, M. Hirsch:
in: 2008
Volume: Number:
on pages: 39-51
Chapter:
Editor:
Publisher:
Series:
Address:
Edition:
ISBN:
how published:
Organization:
School:
Institution:
ISSN:
Doi:
File:
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Imprint | Webmaster | Recent changes: 10.12.2010