Modeling Uncertainties in Safety-Critical Real-Time Systems: A Probabilistic Component-Based Analysis

Dawood Khan 1 Luca Santinelli 1 Liliana Cucu-Grosjean 1
1 TRIO - Real time and interoperability
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Type de document :
Communication dans un congrès
the 7th IEEE International Symposium on Industrial Embedded Systems, Jun 2012, Karlsruhe, Germany. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00765989
Contributeur : Liliana Cucu <>
Soumis le : lundi 17 décembre 2012 - 13:26:55
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Identifiants

  • HAL Id : hal-00765989, version 1

Collections

Citation

Dawood Khan, Luca Santinelli, Liliana Cucu-Grosjean. Modeling Uncertainties in Safety-Critical Real-Time Systems: A Probabilistic Component-Based Analysis. the 7th IEEE International Symposium on Industrial Embedded Systems, Jun 2012, Karlsruhe, Germany. 2012. 〈hal-00765989〉

Partager

Métriques

Consultations de la notice

169