TABS v2.0 : Atelier logiciel d’ordonnancement et d’évaluation de la robustesse basé sur les automates temporisés - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

TABS v2.0 : Atelier logiciel d’ordonnancement et d’évaluation de la robustesse basé sur les automates temporisés

Fichier principal
Vignette du fichier
tabs_MSR202.pdf (1.72 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04053210 , version 1 (31-03-2023)

Identifiants

  • HAL Id : hal-04053210 , version 1

Citer

Rémi Pannequin, Sara Himmiche, Pascale Marangé, Alexis Aubry. TABS v2.0 : Atelier logiciel d’ordonnancement et d’évaluation de la robustesse basé sur les automates temporisés. 13ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2021, CNAM Paris, Nov 2021, Paris, France. ⟨hal-04053210⟩
35 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More