-
Dependability Evaluation of an Air Traffic Control Computing System
International audience -
Réseaux de Pétri stochastiques comportant une seule place 1ere partie: régime...
Le formalisme des systèmes de réactions chimiques (de manière équivalente des réseaux de Pétri stochastiques) est très souvent utilisé en bilogie, en sûreté de... -
Safety Analysis and Evaluation of an Air Traffic Control Computing System
International audience
