A Refinement Method for Interference Analysis using the PHYLOG Modeling Language - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

A Refinement Method for Interference Analysis using the PHYLOG Modeling Language

Fichier principal
Vignette du fichier
ERTS2024_paper_31 (3).pdf (1.54 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-04653727 , version 1

Citer

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⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More