DESCRIPTION ET VERIFICATION D'ARCHITECTURES D'APPLICATION TEMPS REEL
: CLARA ET LES RESEAUX DE PETRI TEMPORELS
CONCEVOIR DES APPLICATIONS TEMPS REEL EST UNE ACTIVITE RECONNUE COMME DIFFICILE, DU FAIT DES DIFFERENTES EXIGENCES FONCTIONNELLES DONT ELLES FONT ETAT, ASSOCIEES A DE MULTIPLES CONTRAINTES NON FONCTIONNELLES. DE PLUS LA PREDICTIBILITE QUI CARACTERISE LES SYSTEMES TEMPS REEL CRITIQUES EXIGE UNE GARAN...
Description complète
Enregistré dans:
Détails bibliographiques
| Auteur principal : |
Durand Emmanuel
(Auteur) |
| Collectivité auteur : |
Université de Nantes 1962-2021
(Organisme de soutenance) |
| Autres auteurs : |
Elloy Jean-Pierre
(Directeur de thèse) |
| Format : |
Thèse ou mémoire |
| Langue : |
français |
| Titre complet : |
DESCRIPTION ET VERIFICATION D'ARCHITECTURES D'APPLICATION TEMPS REEL : CLARA ET LES RESEAUX DE PETRI TEMPORELS / EMMANUEL DURAND; SOUS LA DIRECTION DE JEAN-PIERRE ELLOY |
| Publié : |
[S.l.] :
[s.n.]
, 1998
|
| Description matérielle : |
263 P. |
| Note de thèse : |
Thèse de doctorat : Sciences appliquées : Nantes : 1998 |
| Sujets : |
|
Nantilus
