A Causality Analysis Framework for Component-based Real-time Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

A Causality Analysis Framework for Component-based Real-time Systems

Fichier non déposé

Dates et versions

hal-00919081 , version 1 (16-12-2013)

Identifiants

  • HAL Id : hal-00919081 , version 1

Citer

Shaohui Wang, Anaheed Ayoub, Baekgyu Kim, Gregor Gössler, Oleg Sokolsky, et al.. A Causality Analysis Framework for Component-based Real-time Systems. RV - 4th International Conference on Runtime Verification - 2013, 2013, Rennes, France. pp.285-303. ⟨hal-00919081⟩
166 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More