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

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Test Derivation in a Refinement Process
Zeitraum3 Juni 2003
EreignistitelRCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
VeranstaltungstypWorkshop