AAAAAA

   
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 |