Authors: Bernardeschi, C Fantechi, A Gnesi, S

Citation: C. Bernardeschi et al., Formal validation of fault-tolerance mechanisms inside GUARDS, RELIAB ENG, 71(3), 2001, pp. 261-270

Authors: De Francesco, N Fantechi, A Gnesi, S Inverardi, P

Citation: N. De Francesco et al., Finite approximations for model checking non-finite-state processes, COMPUTER J, 44(2), 2001, pp. 109-123

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

Authors: Cuellar, J Gnesi, S Latella, D

Citation: J. Cuellar et al., Special issue on formal methods in industry - Foreword, SCI COMP PR, 36(1), 2000, pp. 1-3