Home /Research /Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
OTHER

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach

Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem

Year
2018
Citations
10

Keywords

Control reconfigurationMaintainabilityFault detection and isolationComputer scienceProcess (computing)Reliability engineeringReliability (semiconductor)Isolation (microbiology)Embedded systemFault tolerance

Related papers

Browse all OTHER papers