Résultat(s) 1 - 20 résultats de 32 pour la requête 'Roux Olivier Henri', Temps de recherche: 0,15s Affiner les résultats
  1. 1
    ELECTRE : EXPRESSION ET MODELISATION DU COMPORTEMENT DE PROCESSUS TEMPS-REEL REPARTIS COMMUNICANTS
    par Roux Olivier Henri
    [s.n.] 1985
    Thèse ou mémoire
  2. 2
    CONCURRENCE ET COMMUNICATION DANS LE LANGAGE REACTIF REPARTI ORESTE
    par Roux Olivier Henri
    [s.n.] 1994
    Thèse ou mémoire
  3. 3
    Étude de la conjonction des approches asynchrone et synchrone dans les langages réactifs : application à Electre
    Thèse ou mémoire
  4. 4
    Réseaux de Petri à chronomètres : temps dense et temps discret
    Accès en ligne
    Thèse ou mémoire En ligne
  5. 5
    L'ingratitude punie : histoire cyprienne où l on voit les aventures d Orphize
    par Sorel Charles, Leopizzi Marcella, Roux Olivier Henri
    Classiques Garnier 2022
    Livre
  6. 6
    Vérification et dépliages de réseaux de Petri temporels paramétrés
    Accès en ligne
    Thèse ou mémoire En ligne
  7. 7
    Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles
    Accès en ligne
    Thèse ou mémoire En ligne
  8. 8
    AUTOSAR compliant multi-core RTOS formal modeling and verification
    Accès en ligne
    Thèse ou mémoire En ligne
  9. 9
    Modélisation algébrique de la dynamique multi-échelles des réseaux de régulation biologique : méthodes de modélisation et d'analyse pour l'enrichissement des Frappes de Processus
    Thèse ou mémoire
  10. 10
    Méthode de génération d'exécutif temps-réel
    Accès en ligne
    Thèse ou mémoire En ligne
  11. 11
    Analyse de réseaux de régulation par approches de coloration de graphes dans le cadre du myélome multiple
    Accès en ligne
    Thèse ou mémoire En ligne
  12. 12
    Test de systèmes temps réel à l'aide du forçage en ligne
    Accès en ligne
    Thèse ou mémoire En ligne
  13. 13
    Support d'exécution pour les systèmes intermittents
    Accès en ligne
    Thèse ou mémoire En ligne
  14. 14
    Réseaux de Petri temporisés pour la synthèse de circuits pipelinés
    Accès en ligne
    Thèse ou mémoire En ligne
  15. 15
    Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée
    Accès en ligne
    Thèse ou mémoire En ligne
  16. 16
    Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement
    Accès en ligne
    Thèse ou mémoire En ligne
  17. 17
    Exploration de l'Acquisition Comprimée appliquée à la Réflectométrie
    Accès en ligne
    Thèse ou mémoire En ligne
  18. 18
    Conception formelle du pilotage d'une flotte de robots mobiles
    Thèse ou mémoire
  19. 19
    Contribution à la vérification et au contrôle des systèmes temps réel : application aux réseaux de Petri temporels et aux automates temporisés
    par Gardey Guillaume
    [s.n.] 2005
    Thèse ou mémoire
  20. 20
    Analyse paramétrique des systèmes hybrides
    par Adelaïde Michaël
    [s.n.] 2003
    Thèse ou mémoire
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.