Höhere Zuverlässigkeit und Sicherheit von Software-Applikationen durch statische Programmverifikation

Publikation: Beitrag in Buch/Bericht/Tagungsband › Konferenzbeitrag

Titel in Übersetzung	Advanced Reliability and Safety of Software Applications through Static Program Verification
Originalsprache	Deutsch
Titel	Tagungsband des 6. Forschungsforums der österreichischen Fachhochschulen
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	6. Forschungsforum der österreichischen Fachhochschulen 2012 - Graz, Österreich Dauer: 11 Apr. 2012 → 12 Apr. 2012 http://www.conftool.net/ffh2012

Konferenz	6. Forschungsforum der österreichischen Fachhochschulen 2012
Land/Gebiet	Österreich
Ort	Graz
Zeitraum	11.04.2012 → 12.04.2012
Internetadresse	http://www.conftool.net/ffh2012

Zitieren

@inproceedings{c601c37a7d2148a484818a780e7c379c,

title = "H{\"o}here Zuverl{\"a}ssigkeit und Sicherheit von Software-Applikationen durch statische Programmverifikation",

author = "Johannes Schiller and Michael Bogner",

year = "2012",

language = "Deutsch",

booktitle = "Tagungsband des 6. Forschungsforums der {\"o}sterreichischen Fachhochschulen",

note = "6. Forschungsforum der {\"o}sterreichischen Fachhochschulen 2012 ; Conference date: 11-04-2012 Through 12-04-2012",

url = "http://www.conftool.net/ffh2012",

}

TY - GEN

T1 - Höhere Zuverlässigkeit und Sicherheit von Software-Applikationen durch statische Programmverifikation

AU - Schiller, Johannes

AU - Bogner, Michael

PY - 2012

Y1 - 2012

M3 - Konferenzbeitrag

BT - Tagungsband des 6. Forschungsforums der österreichischen Fachhochschulen

T2 - 6. Forschungsforum der österreichischen Fachhochschulen 2012

Y2 - 11 April 2012 through 12 April 2012

ER -