The tool TWINA construction d'espaces d'états abstrait pour l'intersection de Time Petri nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

The tool TWINA construction d'espaces d'états abstrait pour l'intersection de Time Petri nets

Éric Lubat
Équipe Verification de Systèmes Temporisés Critiques

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
MSR19_paper_22 (1).pdf (147.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Mehdi Lhommeau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02432695

Soumis le : mercredi 15 janvier 2020-10:39:41

Dernière modification le : mercredi 25 septembre 2024-09:28:11

Archivage à long terme le : jeudi 16 avril 2020-13:09:04

Télécharger pour visualiser

Dates et versions

hal-02432695 , version 1 (15-01-2020)

Identifiants

  • HAL Id : hal-02432695 , version 1

Citer

Éric Lubat. The tool TWINA construction d'espaces d'états abstrait pour l'intersection de Time Petri nets. 12ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2019), Nov 2019, Angers, France. ⟨hal-02432695⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE LAAS-VERTICS LAAS-INFORMATIQUE-CRITIQUE INSA-GROUPE LAAS-RISC TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
120 Consultations
129 Téléchargements

Partager

More