Une algèbre des automates d'acceptation propositionnelle déterministes comme théorie d'interface pour la conception de systèmes cyberphysiques
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-02432696
Soumis le : mercredi 8 janvier 2020-15:41:53
Dernière modification le : jeudi 5 février 2026-10:22:01
Archivage à long terme le : vendredi 10 avril 2020-00:18:41