Search - LAAS-Informatique Critique Access content directly

Filter your results

6 Results
Deposit type : Fulltext
Image document

DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS

Jean Arlat , Karama Kanoun , Jean-Claude Laprie
IEEE Transactions on Computers, 1990, 39, pp.504 - 513
Journal articles hal-01978863v1
Image document

Analyse des défaillances et modélisation du comportement du logiciel d'un autocommutateur téléphonique.

Thierry Sabourin , Karama Kanoun
5ème Colloque International de Fiabilité et de maintenabilité, pp.92-97., Oct 1986, Biarritz, France
Conference papers hal-01986880v1
Image document

Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation

Karama Kanoun
Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français. ⟨NNT : ⟩
Theses tel-01964462v1
Image document

Modelling and dependability evaluation of safety systems in control and monitoring applications

Jean Arlat , Karama Kanoun
5th International Workshop on Trends in Safe Real Time Computer Systems (SAFECOMP'86), Oct 1986, Sarlat, France
Conference papers hal-02016428v1
Image document

Software dependability of a telephone switching system.

Karama Kanoun , Thierry Sabourin
17th International Symposium on Fault Tolerant Computing, FTCS-17, pp.236-241,, Jul 1987, Pittsburgh, United States
Conference papers hal-01986883v1
Image document

Le projet SATURNE

Y. Deswarte , J.C. Fabre , J.C. Laprie , David Powell
RR-0445, INRIA. 1985
Reports inria-00076110v1