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 | |
Status | Gepubliceerd - 2004 |
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