Testing times : on model-driven test generation for non-deterministic real-time systems

E. Brinksma

doi:10.1109/CSD.2004.1309110

Testing times : on model-driven test generation for non-deterministic real-time systems

E. Brinksma

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 4th International Conference on Application of Concurrency to System Design (ACSD 2004, Hamilton, Canada, June 16-18, 2004)
Uitgeverij	IEEE Computer Society
Pagina's	3-4
ISBN van geprinte versie	0-7695-2077-4
DOI's	https://doi.org/10.1109/CSD.2004.1309110
Status	Gepubliceerd - 2004

Toegang tot document

10.1109/CSD.2004.1309110

Citeer dit

@inproceedings{df9e7af22e7b407cb12bda9c52026534,

title = "Testing times : on model-driven test generation for non-deterministic real-time systems",

author = "E. Brinksma",

year = "2004",

doi = "10.1109/CSD.2004.1309110",

language = "English",

isbn = "0-7695-2077-4",

pages = "3--4",

booktitle = "Proceedings 4th International Conference on Application of Concurrency to System Design (ACSD 2004, Hamilton, Canada, June 16-18, 2004)",

publisher = "IEEE Computer Society",

address = "United States",

}

Testing times : on model-driven test generation for non-deterministic real-time systems. / Brinksma, E.

Proceedings 4th International Conference on Application of Concurrency to System Design (ACSD 2004, Hamilton, Canada, June 16-18, 2004). IEEE Computer Society, 2004. blz. 3-4.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Testing times : on model-driven test generation for non-deterministic real-time systems

AU - Brinksma, E.

PY - 2004

Y1 - 2004

U2 - 10.1109/CSD.2004.1309110

DO - 10.1109/CSD.2004.1309110

M3 - Conference contribution

SN - 0-7695-2077-4

SP - 3

EP - 4

BT - Proceedings 4th International Conference on Application of Concurrency to System Design (ACSD 2004, Hamilton, Canada, June 16-18, 2004)

PB - IEEE Computer Society

ER -