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: Bernardeschi, C De Francesco, N Vaglini, G

Citation: C. Bernardeschi et al., An approach to system design based on P/T net simulation, INF SOFTW T, 43(10), 2001, pp. 591-605

Authors: Bernardeschi, C Fantechi, A Simoncini, L

Citation: C. Bernardeschi et al., Formally verifying fault tolerant system designs, COMPUTER J, 43(3), 2000, pp. 191-205