Published April 26, 2023 | Version v1
Conference paper Open

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Creators

  • 1. ROR icon Graz University of Technology
  • 2. ROR icon TU Wien
  • 3. ROR icon Austrian Institute of Technology

Files

Shields_for_CPS_are_so_Simplex.pdf

Files (1.6 MB)

Name Size Download all
md5:b5df872bca11c5c88d1e466506b9e641
1.6 MB Preview Download

Additional details

Dates

Submitted
2023-01-23
Accepted
2023-02-23