A Refinement Method for Interference Analysis using the PHYLOG Modeling Language - ERTS2024 - Proceeding of the 12th European Congress on Embedded Real Time Systems
Conference Papers Year : 2024

Dates and versions

hal-04653727 , version 1 (19-07-2024)

Identifiers

  • HAL Id : hal-04653727 , version 1

Cite

Guillaume Brau, Eric Jenn, Emmanuel Courty, Kevin Delmas, Frédéric Boniol. A Refinement Method for Interference Analysis using the PHYLOG Modeling Language. 12th European Congress on Embedded Real Time Software and Systems (ERTS24), Jun 2024, Toulouse, France. ⟨hal-04653727⟩
84 View
21 Download

Share

More