Global ETD Search

1	Méthodologie de test de processeurs : impacts sur la conception Robach, Chantal 29 May 1975 (has links) (PDF) . conception hardware test maintenance système logique temps réel pannes sous-système
2	Contribution à la conception assistée par calculateur des systèmes logiques Deschizeaux, P. 12 November 1971 (has links) (PDF) . système logique conception applications circuits logiques
3	Partition syntaxique d'un système logique décrit en CASSANDRE Liddell, Patrick 21 March 1970 (has links) (PDF) . CASSANDRE système logique programmation système conversationnel
4	Modèles temporels des systèmes logiques Sifakis, Joseph 22 March 1974 (has links) (PDF) . [INFO:INFO_OH] Computer Science/Other Modèle tempore système logique
5	Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du GRAFCET et des réseaux de PETRI Moalla, Mohamed 10 July 1981 (has links) (PDF) Approche et outils pour la spécification du cahier des charges d'un automatisme complexe : structuration et hiérarchisation, outils de représentation des spécifications fonctionnelles, le grafcet, exemple d'application à la commande d'un procédé de distillation. Les erseaux de PETRI, et leur utilisation pour la description et l'analyse des systèmes à évolutions parallèles, grafcet et RDPI. mise en œuvre assistée par ordinateur, le systeme MAS. automatisme PETRI réseaux réseau conception système logique GRAFCET cahier des charges temps réel MAS M.A.S

1

Page generated in 0.0456 seconds