Description: | Systems with Redundant Controllers |
Author(s): | Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, and Marjan Sirjani |
Event(s): | MARS'24 |
Paper(s): |
Formal Verification of Consistency for Systems with Redundant Controllers |