Test derivation from timed automata

L. Brandan Briones, M. Roehl

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined
Title of host publicationModel-based testing of reactive systems
Place of PublicationDagstuhl
PublisherDagstuhl
Pages-
Number of pages30
Publication statusPublished - 2004

Keywords

  • METIS-220881

Cite this

Brandan Briones, L., & Roehl, M. (2004). Test derivation from timed automata. In Model-based testing of reactive systems (pp. -). Dagstuhl: Dagstuhl.
Brandan Briones, L. ; Roehl, M. / Test derivation from timed automata. Model-based testing of reactive systems. Dagstuhl : Dagstuhl, 2004. pp. -
@inbook{dc9db834ea264fc9af3f4b30247f44af,
title = "Test derivation from timed automata",
keywords = "METIS-220881",
author = "{Brandan Briones}, L. and M. Roehl",
year = "2004",
language = "Undefined",
pages = "--",
booktitle = "Model-based testing of reactive systems",
publisher = "Dagstuhl",

}

Brandan Briones, L & Roehl, M 2004, Test derivation from timed automata. in Model-based testing of reactive systems. Dagstuhl, Dagstuhl, pp. -.

Test derivation from timed automata. / Brandan Briones, L.; Roehl, M.

Model-based testing of reactive systems. Dagstuhl : Dagstuhl, 2004. p. -.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Test derivation from timed automata

AU - Brandan Briones, L.

AU - Roehl, M.

PY - 2004

Y1 - 2004

KW - METIS-220881

M3 - Chapter

SP - -

BT - Model-based testing of reactive systems

PB - Dagstuhl

CY - Dagstuhl

ER -

Brandan Briones L, Roehl M. Test derivation from timed automata. In Model-based testing of reactive systems. Dagstuhl: Dagstuhl. 2004. p. -