Skip to Main content Skip to Navigation
Poster communications

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

Aurélien Lamercerie 1
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02432696
Contributor : Mehdi Lhommeau <>
Submitted on : Wednesday, January 8, 2020 - 3:41:53 PM
Last modification on : Tuesday, February 25, 2020 - 8:08:11 AM

File

MSR19_paper_23.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02432696, version 1

Citation

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⟩

Share

Metrics

Record views

47

Files downloads

23