A Causality Analysis Framework for Component-based Real-time Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

(1) , (1) , (1) , (2) , (1) , (1)
1
2
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-00919081 , version 1

Cite

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⟩
165 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More