Formal specification techniques as a catalyst in validation

Bernhard Aichernig, Andreas Gerstinger, Robert Aster

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

Original languageEnglish
Title of host publicationProceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE)
Place of PublicationLos Alamitos, Calif.
PublisherIEEE Computer Soc. Press
Pages203-207
ISBN (Print)0-7695-0927-4
Publication statusPublished - 2000
EventIEEE International Symposium on High Assurance Systems Engineering - Albuquerque, NM, United States
Duration: 15 Nov 200017 Nov 2000

Conference

ConferenceIEEE International Symposium on High Assurance Systems Engineering
CountryUnited States
CityAlbuquerque, NM
Period15/11/0017/11/00

Cite this