Search Results - Roux Olivier Henri

Refine Results
  1. 1
    Cover Image

    ELECTRE : EXPRESSION ET MODELISATION DU COMPORTEMENT DE PROCESSUS TEMPS-REEL REPARTIS COMMUNICANTS by Roux, Olivier-Henri (1966-....; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024))

    Published 1985
    Thesis


    Save to List
    Saved in:
  2. 2
    Cover Image

    Étude de la conjonction des approches asynchrone et synchrone dans les langages réactifs : application à Electre by Richard, Martin (19..-....; docteur en Sciences pour l'ingénieur)

    Published 1994
    Thesis


    Save to List
    Saved in:
  3. 3
    Cover Image

    Analyse paramétrique des systèmes hybrides by Adelaïde, Michaël (1975-...)

    Published 2003
    Thesis


    Save to List
    Saved in:
  4. 4
    Cover Image

    Modélisation hybride et analyse des dynamiques des réseaux de régulations biologiques en tenant compte des délais by Ahmad, Jamil (1973-....)

    Published 2009
    Thesis


    Save to List
    Saved in:
  5. 5
    Cover Image

    Modélisation, simulation et vérification des grands réseaux de régulation biologique by Paulevé, Loïc (1985-....)

    Published 2011
    Thesis


    Save to List
    Saved in:
  6. 6
    Cover Image

    Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel by Herbreteau, Frédéric (1975-....)

    Published 2001
    Thesis


    Save to List
    Saved in:
  7. 7
    Cover Image

    Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones by Garriou, David

    Published 2002
    Thesis


    Save to List
    Saved in:
  8. 8
    Cover Image

    Extension temps réel d'AltaRica by Pagetti, Claire (1975-...)

    Published 2004
    Thesis


    Save to List
    Saved in:
  9. 9
    Cover Image

    Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques by Prigent, Armelle (1976-....; enseignante-chercheuse en informatique)

    Published 2003
    Thesis


    Save to List
    Saved in:
  10. 10
    Cover Image

    L'ingratitude punie : histoire cyprienne où l’on voit les aventures d’Orphize by Sorel, Charles (1582?-1674)

    Published 2022
    Book


    Save to List
    Saved in:
  11. 11
    Cover Image

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

    Published 2022
    Online Access Accès au texte intégral
    Online Access
    Online Access
    Thesis


    Save to List
    Saved in:
  12. 12
    Cover Image

    Support d'exécution pour les systèmes intermittents by Bernabeu, Antoine (1995-....)

    Published 2023
    Online Access Accès au texte intégral
    Online Access
    Online Access
    Thesis


    Save to List
    Saved in:
  13. 13
    Cover Image

    Méthode de génération d'exécutif temps-réel by Tigori, Kabland Toussaint Gautier

    Published 2016
    Online Access Accès au texte intégral
    Online Access
    Online Access
    Thesis


    Save to List
    Saved in:
  14. 14
    Cover Image

    Test de systèmes temps réel à l'aide du forçage en ligne by Givel, Louis-Marie

    Published 2016
    Online Access Accès au texte intégral
    Online Access
    Online Access
    Thesis


    Save to List
    Saved in:
  15. 15
    Cover Image

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

    Published 2014
    Thesis


    Save to List
    Saved in:
  16. 16
    Cover Image

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

    Published 2016
    Online Access Accès au texte intégral
    Online Access
    Thesis


    Save to List
    Saved in:
  17. 17
    Cover Image

    Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles by Emzivat, Yrvann

    Published 2018
    Online Access Accès au texte intégral
    Online Access
    Online Access
    Thesis


    Save to List
    Saved in:
  18. 18
    Cover Image

    Réseaux de Petri temporisés pour la synthèse de circuits pipelinés by Parrot, Rémi (1995-....)

    Published 2022
    Online Access Accès au texte intégral
    Online Access
    Online Access
    Thesis


    Save to List
    Saved in:
  19. 19
    Cover Image

    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 by Gardey, Guillaume (1978-...)

    Published 2005
    Thesis


    Save to List
    Saved in:
  20. 20
    Cover Image

    Vérification parametrée de systèmes temporisés by Jovanovic, Aleksandra

    Published 2013
    Thesis


    Save to List
    Saved in:

Search Tools: