Skip to Main content Skip to Navigation
Journal articles

Linking paradigms in safety critical systems

Akram Idani 1 Jean-Louis Boulanger Laurent Philippe 2 
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
Résumé : no abstract
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00953583
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 1:54:00 PM
Last modification on : Sunday, June 26, 2022 - 9:34:56 AM

Identifiers

  • HAL Id : hal-00953583, version 1

Collections

UGA | CNRS | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | LIG | UNIV-BM-THESE | LIG_GLSI | LIG_GLSI_VASCO

Citation

Akram Idani, Jean-Louis Boulanger, Laurent Philippe. Linking paradigms in safety critical systems. International Journal of Computers and their Applications (IJCA), Special Issue on the Application of Computer Technology to Public Safety and Law Enforcement, ISCA, 2009, 16 (2), pp.111-120. ⟨hal-00953583⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

153

 

Contact                    Legal Notice                    Personal Data