Weakness monitors for Fail-Aware Systems

Wolfgang Granig; Stefan Jaksic; Horst Lewitschnig; Cristinel Mateis; Dejan Nickovic

Weakness monitors for Fail-Aware Systems

Wolfgang Granig (Autor:in, eingeladen)
, Stefan Jaksic (Vortragende:r, eingeladen)
, Horst Lewitschnig (Autor:in, eingeladen)
, Cristinel Mateis (Autor:in, eingeladen)
, Dejan Nickovic (Autor:in, eingeladen)

Infineon Technologies Austria AG

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
Herausgeber (Verlag)	Springer
Seiten	283-301
Seitenumfang	19
ISBN (Print)	978-3-030-57628-8
Publikationsstatus	Veröffentlicht - 2020
Veranstaltung	2020 International Conference on Formal Modeling and Analysis of Timed Systems - Dauer: 1 Sept. 2020 → 4 Sept. 2020

Konferenz

Konferenz	2020 International Conference on Formal Modeling and Analysis of Timed Systems
Zeitraum	1/09/20 → 4/09/20

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

@inproceedings{35f55f6ce28d4027aea257cd947ccd28,

title = "Weakness monitors for Fail-Aware Systems",

author = "Wolfgang Granig and Stefan Jaksic and Horst Lewitschnig and Cristinel Mateis and Dejan Nickovic",

year = "2020",

language = "English",

isbn = "978-3-030-57628-8",

pages = "283--301",

booktitle = "18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings",

publisher = "Springer",

address = "Germany",

note = "2020 International Conference on Formal Modeling and Analysis of Timed Systems ; Conference date: 01-09-2020 Through 04-09-2020",

}

Weakness monitors for Fail-Aware Systems. / Granig, Wolfgang (Autor:in, eingeladen); Jaksic, Stefan (Vortragende:r, eingeladen); Lewitschnig, Horst (Autor:in, eingeladen) et al.
18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Springer, 2020. S. 283-301.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

TY - GEN

T1 - Weakness monitors for Fail-Aware Systems

A2 - Granig, Wolfgang

A2 - Jaksic, Stefan

A2 - Lewitschnig, Horst

A2 - Mateis, Cristinel

A2 - Nickovic, Dejan

PY - 2020

Y1 - 2020

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-57628-8

SP - 283

EP - 301

BT - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

PB - Springer

T2 - 2020 International Conference on Formal Modeling and Analysis of Timed Systems

Y2 - 1 September 2020 through 4 September 2020

ER -