A Causality Analysis Framework for Component-based Real-time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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

Domains

Symbolic Computation [cs.SC] Embedded Systems

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

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

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

Last modification on : Thursday, April 4, 2024-6:20:19 PM

No 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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Share

Gmail Facebook X LinkedIn More