Modeling Uncertainties in Safety-Critical Real-Time Systems: A Probabilistic Component-Based Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Luca Santinelli
  • Function : Author
  • PersonId : 884507
Liliana Cucu-Grosjean
  • Function : Author
  • PersonId : 884506
No file

Dates and versions

hal-00765989 , version 1 (17-12-2012)

Identifiers

  • HAL Id : hal-00765989 , version 1

Cite

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. ⟨hal-00765989⟩
77 View
0 Download

Share

Gmail Facebook X LinkedIn More