FATE - Fault-driven Analysis and Testing for Design Robustness and Stability

Bloem, Roderick (Co-Investigator (CoI))

Institute of Applied Information Processing and Communications (7050)

Project: Research project

1 Conference paper

1 results

2023
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., May 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 141-160 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File