Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-7
|
Results: 7
Safety, reliability and security of industrial computer systems
Authors:
Kanoun, K Pasquini, A
Citation:
K. Kanoun et A. Pasquini, Safety, reliability and security of industrial computer systems, RELIAB ENG, 71(3), 2001, pp. 227-228
Real-world design diversity: A case study on cost
Authors:
Kanoun, K
Citation:
K. Kanoun, Real-world design diversity: A case study on cost, IEEE SOFTW, 18(4), 2001, pp. 29
Dependability evaluation
Authors:
Arlat, J Bondavalli, A Di Giandomenico, F Jarboui, MT Jenn, E Kanoun, K Mura, I Powell, D
Citation:
J. Arlat et al., Dependability evaluation, GENERIC FAULT-TOLERANT ARCHITECTURE FOR REAL-TIME DEPENDABLE SYSTEMS, 2001, pp. 157-191
Fault-tolerant system dependability - Explicit modeling of hardware and software component-interactions
Authors:
Kanoun, K Ortalo-Borrel, M
Citation:
K. Kanoun et M. Ortalo-borrel, Fault-tolerant system dependability - Explicit modeling of hardware and software component-interactions, IEEE RELIAB, 49(4), 2000, pp. 363-376
Dependability evaluation of an air traffic control computing system
Authors:
Fota, N Kaaniche, M Kanoun, K
Citation:
N. Fota et al., Dependability evaluation of an air traffic control computing system, PERF EVAL, 35(3-4), 1999, pp. 253-273
Availability of CAUTRA, a subset of the French Air Traffic Control system
Authors:
Kanoun, K Borrel, M Morteveille, T Peytavin, A
Citation:
K. Kanoun et al., Availability of CAUTRA, a subset of the French Air Traffic Control system, IEEE COMPUT, 48(5), 1999, pp. 528-535
Incremental approach for building Stochastic Petri Nets for dependability modeling
Authors:
Fota, N Kaaniche, M Kanoun, K
Citation:
N. Fota et al., Incremental approach for building Stochastic Petri Nets for dependability modeling, STAT IND T, 1999, pp. 321-335
Risultati:
1-7
|