Résultats de la recherche - Martineau, Patrick (1967-....)

  • Résultat(s) 1 - 4 résultats de 4
Affiner les résultats
  1. 1
    ORDONNANCEMENT EN-LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL /

    ORDONNANCEMENT EN-LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL / par Martineau, Patrick (1967-....)

    Publié 1994
    Thèse Livre

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel /

    Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel / par Lelionnais, Cédrick (1977-...)

    Thèse Livre

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    AUTOSAR compliant multi-core RTOS formal modeling and verification /

    AUTOSAR compliant multi-core RTOS formal modeling and verification / par Haur, Imane (1995-....)

    Accès au texte intégral
    Accéder au texte intégral
    Accéder au texte intégral
    Thèse Électronique eBook

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement /

    Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / par Comlan, Maurice (1987-....)

    Accès au texte intégral
    Accéder au texte intégral
    Accéder au texte intégral
    Thèse Électronique eBook

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: