Systèmes temps réel
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Systèmes temps réel / Jean-Paul Perez,... |
Publié : |
Paris :
Bordas
, DL 1990 Dunod |
Description matérielle : | 1 vol. (243 p.) |
Collection : | Informatique industrielle (Paris. 1990) |
Sujets : |
- Chapitre 1. Identification et vie des systèmes temps réel
- Chapitre 2. Fondements de la spécification des sysètèmes temps réel
- Chapitre 3. Outils de spécification de l'aspect fonctionnel
- Chapitre 4. Outils de spécification de l'aspect évènementiel
- Chapitre 5. Outils de spécification de l'aspect informationnel
- Chapitre 6. Spécification des systèmes temps réel, selon WM
- Chapitre 7. Spécification des systèmes temps réel selon HP
- Chapitre 8. Stratégies de spécification
- Chapitre 9. FOndements de la conception préliminaire des systèmes temps réel
- Chapitre 10. Passage de la spécification à la conception d'un système temps réel
- Chapitre 11. Outils et méthodes de conception préliminaire des systèmes temps réel