RCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Test Derivation in a Refinement Process
Period3 Jun 2003
Held atRCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
Event typeWorkshop