Test Derivation in a Refinement Process

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
Herausgeber (Verlag)	.
Seiten	?-?
Publikationsstatus	Veröffentlicht - 2003
Veranstaltung	International Workshop on Refinement of Critical Systems - Turku, Finnland Dauer: 3 Juni 2003 → 3 Juni 2003

Konferenz	International Workshop on Refinement of Critical Systems
Land/Gebiet	Finnland
Ort	Turku
Zeitraum	3/06/03 → 3/06/03

Andere Dateien und Links

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

@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 -