• Aucun résultat trouvé

Modelling the dependability of CAUTRA, a subset of the French air traffic control system

N/A
N/A
Protected

Academic year: 2021

Partager "Modelling the dependability of CAUTRA, a subset of the French air traffic control system"

Copied!
23
0
0

Texte intégral

(1)

HAL Id: hal-01976201

https://hal.laas.fr/hal-01976201

Submitted on 30 Jan 2019

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Modelling the dependability of CAUTRA, a subset of the French air traffic control system

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin

To cite this version:

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin. Modelling the dependability of CAUTRA, a subset of the French air traffic control system. 26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan. �hal-01976201�

(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)

Références

Documents relatifs

Estos resultados de la estrategia interregional europea que presenta la negociación de un TLC UE-CAN como un mecanismo para estimular la integración regional

Abbreviations used: DMEM, Dulbecco’s modified Eagle’s medium; ERK, extracellular-signal-regulated kinase; GFP, green fluorescent protein; GST, glutathione S-transferase;

To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed

Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à

Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine

En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages

Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur