Test Derivation in a Refinement Process

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
Publisher	.
Pages	?-?
Publication status	Published - 2003
Event	International Workshop on Refinement of Critical Systems - Turku, Finland Duration: 3 Jun 2003 → 3 Jun 2003

Conference	International Workshop on Refinement of Critical Systems
Country/Territory	Finland
City	Turku
Period	3/06/03 → 3/06/03

Cite this

@inproceedings{eee14435475a4e86a26f0fd9a83881bc,

title = "Test Derivation in a Refinement Process",

author = "Bernhard Aichernig",

year = "2003",

language = "English",

pages = "?--?",

booktitle = "RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments",

publisher = ".",

note = "International Workshop on Refinement of Critical Systems ; Conference date: 03-06-2003 Through 03-06-2003",

}

TY - GEN

T1 - Test Derivation in a Refinement Process

AU - Aichernig, Bernhard

PY - 2003

Y1 - 2003

UR - http://pages-perso.esil.univ-mrs.fr/~spc/rcs03/rcs03.html

M3 - Conference paper

SP - ?-?

BT - RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments

PB - .

T2 - International Workshop on Refinement of Critical Systems

Y2 - 3 June 2003 through 3 June 2003

ER -