Executable specifications in software reliability engineering

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Workshop on Formal Descriptions and Software Reliability
Herausgeber (Verlag)	.
Seiten	?-?
Publikationsstatus	Veröffentlicht - 1999
Veranstaltung	Workshop on Formal Descriptions and Software Reliability - Boca Raton, USA / Vereinigte Staaten Dauer: 31 Okt. 1999 → 31 Okt. 1999

Konferenz	Workshop on Formal Descriptions and Software Reliability
Land/Gebiet	USA / Vereinigte Staaten
Ort	Boca Raton
Zeitraum	31/10/99 → 31/10/99

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@inproceedings{9fd16675a07046309b93234b587091e5,

title = "Executable specifications in software reliability engineering",

author = "Bernhard Aichernig",

year = "1999",

language = "English",

pages = "?--?",

booktitle = "Workshop on Formal Descriptions and Software Reliability",

publisher = ".",

note = "Workshop on Formal Descriptions and Software Reliability ; Conference date: 31-10-1999 Through 31-10-1999",

}