A Refinement Method for Interference Analysis using the PHYLOG Modeling Language - Certifiability of multi and many-cores architectures Access content directly
Conference Papers Year : 2024

A Refinement Method for Interference Analysis using the PHYLOG Modeling Language

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
ERTS2024_paper_31 (3).pdf (1.54 Mo) Télécharger le fichier
Origin Files produced by the author(s)

kevin delmas  : Connect in order to contact the contributor

https://hal.science/hal-04653727

Submitted on : Friday, July 19, 2024-9:35:50 AM

Last modification on : Tuesday, July 23, 2024-3:20:27 AM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IRT_SAINT-EXUPERY PHYLOG ERTS2024
0 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More