Nantilus
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