Search - LAAS-Informatique Critique Access content directly

Filter your results

4 Results
Deposit type : Fulltext
Image document

Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tension

Karama Kanoun
Performance et fiabilité [cs.PF]. Institut National Polytechnique de Toulouse (INP Toulouse), 1980. Français. ⟨NNT : ⟩
Theses tel-01964458v1
Image document

REBECCA : a dependable communication support system for for a distributed monitoring and safety system, pp.261-268,

Jean-Paul Blanquart , Karama Kanoun , Jean-Claude Laprie , M. Rodrogues dos Santos
Third IFAC-IFIP Workshop", SAFECOMP'83, Sep 1983, Cambridge, United Kingdom
Conference papers hal-02016353v1
Image document

Le projet SATURNE

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

Dependability Modeling of Safety Systems,

Karama Kanoun , Jean-Claude Laprie
10th International Symposium on Fault-Tolerant Computing, Oct 1980, Tokyo, Japan
Conference papers hal-02016370v1