Real-time and hybrid systems testing

K.  Berkenkotter; Raimund Kirner

doi:10.1007/11498490_16

Real-time and hybrid systems testing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Original language	English
Title of host publication	Model-Based Testing of Reactive Systems
Subtitle of host publication	Advanced Lectures
Editors	M. Broy, B. Jonsson, J.P. Katoen, M. Leucker, A. Pretschner
Place of Publication	BERLIN
Publisher	Springer Nature
Pages	355-387
Number of pages	33
ISBN (Electronic)	978-3-540-32037-1
ISBN (Print)	3-540-26278-4, 978-3-540-26278-7
DOIs	https://doi.org/10.1007/11498490_16
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3472

Access to Document

10.1007/11498490_16

Cite this

@inproceedings{cd5a6604c864477397a501ef0715469e,

title = "Real-time and hybrid systems testing",

author = "K. Berkenkotter and Raimund Kirner",

year = "2005",

doi = "10.1007/11498490\_16",

language = "English",

isbn = "3-540-26278-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature ",

pages = "355--387",

editor = "M. Broy and B. Jonsson and J.P. Katoen and M. Leucker and A. Pretschner",

booktitle = "Model-Based Testing of Reactive Systems",

address = "Netherlands",

}

Real-time and hybrid systems testing. / Berkenkotter, K. ; Kirner, Raimund.
Model-Based Testing of Reactive Systems: Advanced Lectures. ed. / M. Broy; B. Jonsson; J.P. Katoen; M. Leucker; A. Pretschner. BERLIN: Springer Nature , 2005. p. 355-387 (Lecture Notes in Computer Science; Vol. 3472).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Real-time and hybrid systems testing

AU - Berkenkotter, K.

AU - Kirner, Raimund

PY - 2005

Y1 - 2005

U2 - 10.1007/11498490_16

DO - 10.1007/11498490_16

M3 - Conference contribution

SN - 3-540-26278-4

SN - 978-3-540-26278-7

T3 - Lecture Notes in Computer Science

SP - 355

EP - 387

BT - Model-Based Testing of Reactive Systems

A2 - Broy, M.

A2 - Jonsson, B.

A2 - Katoen, J.P.

A2 - Leucker, M.

A2 - Pretschner, A.

PB - Springer Nature

CY - BERLIN

ER -