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

Aichernig, B. (Redner/in)

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

Beschreibung

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