Modélisation avancée et spécification de systèmes d'information distribués

Projet: Recherche

Détails du projet

Description

{description_courte}
AcronymeASPIRE
statutFini
Les dates de début/date réelle1/02/9731/03/00

mots-clés

  • distribution
  • modélisation
  • temps réel
  • temps reel
  • logique de defauts
  • systeme d'information
  • specification
  • modelisation
  • système d'information
  • concurrence
  • spécification
  • logique de défauts