Formal specification techniques as a catalyst in validation

Bernhard Aichernig; Andreas Gerstinger; Robert Aster

Formal specification techniques as a catalyst in validation

Bernhard Aichernig, Andreas Gerstinger, Robert Aster

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE)
Place of Publication	Los Alamitos, Calif.
Publisher	IEEE Computer Soc. Press
Pages	203-207
ISBN (Print)	0-7695-0927-4
Publication status	Published - 2000
Event	IEEE International Symposium on High Assurance Systems Engineering - Albuquerque, NM, United States Duration: 15 Nov 2000 → 17 Nov 2000

Conference

Conference	IEEE International Symposium on High Assurance Systems Engineering
Country/Territory	United States
City	Albuquerque, NM
Period	15/11/00 → 17/11/00

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

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 proceeding › Conference paper › peer-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.

@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",

note = "IEEE International Symposium on High Assurance Systems Engineering ; Conference date: 15-11-2000 Through 17-11-2000",

}

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 paper

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.

T2 - IEEE International Symposium on High Assurance Systems Engineering

Y2 - 15 November 2000 through 17 November 2000

ER -

Formal specification techniques as a catalyst in validation

Conference

Projects

Formal Methods

Cite this