Une algèbre des automates d'acceptation propositionnelle déterministes comme théorie d'interface pour la conception de systèmes cyberphysiques - Archive ouverte HAL
Poster De Conférence Année : 2019

Une algèbre des automates d'acceptation propositionnelle déterministes comme théorie d'interface pour la conception de systèmes cyberphysiques

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
MSR19_paper_23.pdf (167.41 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-02432696

Soumis le : mercredi 8 janvier 2020-15:41:53

Dernière modification le : mercredi 6 novembre 2024-11:42:02

Archivage à long terme le : vendredi 10 avril 2020-00:18:41

Télécharger pour visualiser

Dates et versions

hal-02432696 , version 1 (08-01-2020)

Identifiants

  • HAL Id : hal-02432696 , version 1

Citer

Aurélien Lamercerie. Une algèbre des automates d'acceptation propositionnelle déterministes comme théorie d'interface pour la conception de systèmes cyberphysiques. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. pp.1. ⟨hal-02432696⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
81 Consultations
81 Téléchargements

Partager

More