A Refinement Method for Interference Analysis using the PHYLOG Modeling Language
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2024
kevin delmas : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04653727
Soumis le : vendredi 19 juillet 2024-09:35:50
Dernière modification le : vendredi 26 juillet 2024-13:46:35
Dates et versions
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⟩
Collections
0
Consultations
0
Téléchargements