Methodology for modeling and verifying critical systems for operational safety
Résumé
no abstract
Communication Dans Un Congrès
Année : 2003
IMT Mines Albi IMT Mines Albi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01596385
Soumis le : mercredi 27 septembre 2017-15:14:42
Dernière modification le : mardi 28 février 2023-15:36:21
Dates et versions
Identifiants
- HAL Id : hal-01596385 , version 1
Citer
Nawal Addouche, C Antoine, Frederick Benaben. Methodology for modeling and verifying critical systems for operational safety. CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, Montréal, Canada. pp.1819-1822. ⟨hal-01596385⟩
Collections
97
Consultations
0
Téléchargements