Test Derivation in a Refinement Process

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

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

Projects

Formal Methods

Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

1/01/95 → …

Project: Research area

Cite this

Aichernig, B. (2003). Test Derivation in a Refinement Process. In RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments (pp. ?-?). ..