AAAAAA
Results:
1-7
|
Results: 7
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:
Bondavalli, A
Fantechi, A
Latella, D
Simoncini, L
Citation: A. Bondavalli et al., Design validation of embedded dependable systems, IEEE MICRO, 21(5), 2001, pp. 52-62
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:
Powell, D
Amendola, A
Arlat, J
Attermeyer, B
Beus-Dukic, L
Bondavalli, A
Coppola, P
Dambra, C
Fantechi, A
Jenn, E
Rabejac, C
Thevenot, V
Wellings, A
Citation: D. Powell et al., A generic fault-tolerant architecture for real-time dependable systems - Introduction and overview, GENERIC FAULT-TOLERANT ARCHITECTURE FOR REAL-TIME DEPENDABLE SYSTEMS, 2001, pp. 1-26
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:
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
Authors:
Powell, D
Arlat, J
Beus-Dukic, L
Bondavalli, A
Coppola, P
Fantechi, A
Jenn, E
Rabejac, C
Wellings, A
Citation: D. Powell et al., GUARDS: A generic upgradable architecture for real-time dependable systems, IEEE PARALL, 10(6), 1999, pp. 580-599
Risultati:
1-7
|