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...