Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach

TS Kanstren; EAB Piel; A Gonzalez Sanchez; HG Gross

Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach

TS Kanstren, EAB Piel, A Gonzalez Sanchez, HG Gross

Software Engineering

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the International Workshop on the Design of Dependable Critical Systems
Editors	A Wagner
Place of Publication	Hamburg
Publisher	ECOMODIS
Pages	1-8
Number of pages	8
ISBN (Print)	978-3-00-029877-6
Publication status	Published - 2009
Event	DDCS 2009 - Hamburg Duration: 15 Sept 2009 → 15 Sept 2009

Publication series

Name
Publisher	ECOMODIS

Conference

Conference	DDCS 2009
Period	15/09/09 → 15/09/09

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{63d9d670fe754c4b876aa23e19304ebd,

title = "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach",

keywords = "Conf.proc. > 3 pag",

author = "TS Kanstren and EAB Piel and {Gonzalez Sanchez}, A and HG Gross",

year = "2009",

language = "Undefined/Unknown",

isbn = "978-3-00-029877-6",

publisher = "ECOMODIS",

pages = "1--8",

editor = "A Wagner",

booktitle = "Proceedings of the International Workshop on the Design of Dependable Critical Systems",

note = "DDCS 2009 ; Conference date: 15-09-2009 Through 15-09-2009",

}

Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach. / Kanstren, TS; Piel, EAB; Gonzalez Sanchez, A et al.
Proceedings of the International Workshop on the Design of Dependable Critical Systems. ed. / A Wagner. Hamburg: ECOMODIS, 2009. p. 1-8.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach

AU - Kanstren, TS

AU - Piel, EAB

AU - Gonzalez Sanchez, A

AU - Gross, HG

PY - 2009

Y1 - 2009

KW - Conf.proc. > 3 pag

UR - http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2009/10098/pdf/DDCS_2009.pdf

M3 - Conference contribution

SN - 978-3-00-029877-6

SP - 1

EP - 8

BT - Proceedings of the International Workshop on the Design of Dependable Critical Systems

A2 - Wagner, A

PB - ECOMODIS

CY - Hamburg

T2 - DDCS 2009

Y2 - 15 September 2009 through 15 September 2009

ER -

Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach

Publication series

Conference

Keywords

Other files and links

Cite this