Résultat(s) 1 - 20 résultats de 21 pour la requête 'Roux Olivier-Henri', Temps de recherche: 0,17s 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
    Étude de la conjonction des approches asynchrone et synchrone dans les langages réactifs : application à Electre
    Thèse ou mémoire
  3. 3
    Analyse paramétrique des systèmes hybrides
    Thèse ou mémoire
  4. 4
    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
  5. 5
    Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques
    Thèse ou mémoire
  6. 6
    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
    Thèse ou mémoire
  7. 7
    Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel
    Thèse ou mémoire
  8. 8
    Extension temps réel d'AltaRica
    Thèse ou mémoire
  9. 9
    Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones
    Thèse ou mémoire
  10. 10
    Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles
    Accès en ligne
    Thèse ou mémoire En ligne
  11. 11
    AUTOSAR compliant multi-core RTOS formal modeling and verification
    Accès en ligne
    Thèse ou mémoire En ligne
  12. 12
    Méthode de génération d'exécutif temps-réel
    Accès en ligne
    Thèse ou mémoire En ligne
  13. 13
    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
  14. 14
    Support d'exécution pour les systèmes intermittents
    Accès en ligne
    Thèse ou mémoire En ligne
  15. 15
    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
  16. 16
    Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée
    Accès en ligne
    Thèse ou mémoire En ligne
  17. 17
    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
  18. 18
    Exploration de l'Acquisition Comprimée appliquée à la Réflectométrie
    Accès en ligne
    Thèse ou mémoire En ligne
  19. 19
    Conception formelle du pilotage d'une flotte de robots mobiles
    Thèse ou mémoire
  20. 20
    Modélisation, simulation et vérification des grands réseaux de régulation biologique
    par Paulevé Loïc
    2011
    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.