Test Derivation in a Refinement Process

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationRCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
Publisher.
Pages?-?
Publication statusPublished - 2003
EventInternational Workshop on Refinement of Critical Systems - Turku, Finland
Duration: 3 Jun 20033 Jun 2003

Conference

ConferenceInternational Workshop on Refinement of Critical Systems
CountryFinland
CityTurku
Period3/06/033/06/03

Cite this