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 <>
Submitted on : Friday, February 28, 2014 - 1:54:00 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

  • HAL Id : hal-00953583, version 1

Collections

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

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

Share

Metrics

Record views

271

 

Contact                    Legal Notice                    Personal Data