Formal specification techniques as a catalyst in validation

Bernhard Aichernig, Andreas Gerstinger, Robert Aster

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B., Gerstinger, A., & Aster, R. (2000). Formal specification techniques as a catalyst in validation. In Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE) (pp. 203-207). Los Alamitos, Calif.: IEEE Computer Soc. Press.

Formal specification techniques as a catalyst in validation. / Aichernig, Bernhard; Gerstinger, Andreas; Aster, Robert.

Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE). Los Alamitos, Calif. : IEEE Computer Soc. Press, 2000. p. 203-207.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B, Gerstinger, A & Aster, R 2000, Formal specification techniques as a catalyst in validation. in Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE). IEEE Computer Soc. Press, Los Alamitos, Calif., pp. 203-207, IEEE International Symposium on High Assurance Systems Engineering, Albuquerque, NM, United States, 15/11/00.
Aichernig B, Gerstinger A, Aster R. Formal specification techniques as a catalyst in validation. In Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE). Los Alamitos, Calif.: IEEE Computer Soc. Press. 2000. p. 203-207
Aichernig, Bernhard ; Gerstinger, Andreas ; Aster, Robert. / Formal specification techniques as a catalyst in validation. Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE). Los Alamitos, Calif. : IEEE Computer Soc. Press, 2000. pp. 203-207
@inproceedings{f7f6c0249c8c4c46b7887f115cb5fa0e,
title = "Formal specification techniques as a catalyst in validation",
author = "Bernhard Aichernig and Andreas Gerstinger and Robert Aster",
year = "2000",
language = "English",
isbn = "0-7695-0927-4",
pages = "203--207",
booktitle = "Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE)",
publisher = "IEEE Computer Soc. Press",

}

TY - GEN

T1 - Formal specification techniques as a catalyst in validation

AU - Aichernig, Bernhard

AU - Gerstinger, Andreas

AU - Aster, Robert

PY - 2000

Y1 - 2000

M3 - Conference contribution

SN - 0-7695-0927-4

SP - 203

EP - 207

BT - Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE)

PB - IEEE Computer Soc. Press

CY - Los Alamitos, Calif.

ER -