Les systèmes multi agents et le temps réel
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
1997
Thème :
Informatique, traitement des données
ISBN :
221208935X
Afficher le Résumé
Ce livre présente l'état de la'art sur les méthodes formelles de spécification et de validation des systèmes réactifs .La compléxité de ces systèmes impose d'abord une méthodologie rigoureuse pour les appréhender et pour garantir une cohérence certaine entre les différentes phrases du développement On trouvera dans cet ouvrage,une approchr globale pour l'ingénierie de ces systèmes: -Spécification de trés haut niveau -Validation et vérification des spécification et des contraintes temps réel avec le langagede programmation avec contraintes prolog III
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 ATT 1 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 004 ATT 1 C1 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 004 ATT 1 C4 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 004 ATT 1 C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
Imbert, J. & Attoui, A. (1997). Les systèmes multi agents et le temps réel . Eyrolles;