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 Communications Year : 2019

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

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
MSR19_paper_23.pdf (167.41 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Mehdi Lhommeau  : Connect in order to contact the contributor

https://hal.science/hal-02432696

Submitted on : Wednesday, January 8, 2020-3:41:53 PM

Last modification on : Friday, March 24, 2023-2:53:14 PM

Long-term archiving on : Friday, April 10, 2020-12:18:41 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-02432696 , version 1

Cite

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⟩

Export

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
79 View
76 Download

Share

More