DSpace Repository

Browsing by Subject "#système temps réel #spécification et vérification formelles #FDDI #UPPAAL"

Browsing by Subject "#système temps réel #spécification et vérification formelles #FDDI #UPPAAL"

Sort by: Order: Results:

  • MILI, Soufyane (2017)
    En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Dans notre travail on a spécifié le ...