Executable specifications in software reliability engineering

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

Original languageEnglish
Title of host publicationWorkshop on Formal Descriptions and Software Reliability
Publisher.
Pages?-?
Publication statusPublished - 1999
EventWorkshop on Formal Descriptions and Software Reliability - Boca Raton, United States
Duration: 31 Oct 199931 Oct 1999

Conference

ConferenceWorkshop on Formal Descriptions and Software Reliability
CountryUnited States
CityBoca Raton
Period31/10/9931/10/99

Projects

Formal Methods

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

1/01/95 → …

Project: Research area

Cite this

Aichernig, B. (1999). Executable specifications in software reliability engineering. In Workshop on Formal Descriptions and Software Reliability (pp. ?-?). ..