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

Domains

Computer Science [cs] Symbolic Computation [cs.SC] Computer Science [cs] Embedded Systems

Gregor Gössler  : Connect in order to contact the contributor

https://hal.inria.fr/hal-00919081

Submitted on : Monday, December 16, 2013-12:08:05 PM

Last modification on : Friday, November 18, 2022-9:28:20 AM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UGA CNRS INRIA LIG INRIA2 LIG-MFML-SPADES LIG_SIDCH
165 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More