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]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
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 : vendredi 24 mars 2023-14:53:14
Archivage à long terme le : vendredi 10 avril 2020-00:18:41