Authors: Bernadeschi, C Fantechi, A Gnesi, S

Citation: C. Bernadeschi et al., Formal verification, GENERIC FAULT-TOLERANT ARCHITECTURE FOR REAL-TIME DEPENDABLE SYSTEMS, 2001, pp. 139-155