Weakness Monitors for Fail-Aware Systems

Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic. Weakness Monitors for Fail-Aware Systems. In Nathalie Bertrand 0001, Nils Jansen 0001, editors, Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Volume 12288 of Lecture Notes in Computer Science, pages 283-299, Springer, 2020. [doi]

Authors

Wolfgang Granig

This author has not been identified. Look up 'Wolfgang Granig' in Google

Stefan Jaksic

This author has not been identified. Look up 'Stefan Jaksic' in Google

Horst Lewitschnig

This author has not been identified. Look up 'Horst Lewitschnig' in Google

Cristinel Mateis

This author has not been identified. Look up 'Cristinel Mateis' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google