Résultat(s) 21 - 40 résultats de 41 pour la requête 'Roux Olivier', Temps de recherche: 0,04s Affiner les résultats
  1. 21
    Support d'exécution pour les systèmes intermittents
    Accès en ligne
    Thèse ou mémoire En ligne
  2. 22
    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
  3. 23
    Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée
    Accès en ligne
    Thèse ou mémoire En ligne
  4. 24
    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
  5. 25
    Exploration de l'Acquisition Comprimée appliquée à la Réflectométrie
    Accès en ligne
    Thèse ou mémoire En ligne
  6. 26
    Conception formelle du pilotage d'une flotte de robots mobiles
    Thèse ou mémoire
  7. 27
    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
  8. 28
    Modélisation hybride et analyse des dynamiques des réseaux de régulations biologiques en tenant compte des délais
    par Ahmad Jamil
    2009
    Thèse ou mémoire
  9. 29
    Analyse paramétrique des systèmes hybrides
    par Adelaïde Michaël
    [s.n.] 2003
    Thèse ou mémoire
  10. 30
    Modélisation, simulation et vérification des grands réseaux de régulation biologique
    par Paulevé Loïc
    2011
    Thèse ou mémoire
  11. 31
    Vérification des EFFBDs : model checking en ingénierie système
    par Seidner Charlotte
    [s.n.] 2009
    Thèse ou mémoire
  12. 32
    Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones
    par Garriou David
    [s.n.] 2002
    Thèse ou mémoire
  13. 33
    Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel
    par Herbreteau Frédéric
    [s.n.] 2001
    Thèse ou mémoire
  14. 34
    Approches formelles des systèmes embarqués communicants
    Hermes science publ. impr. 2008
    Livre
  15. 35
    Extension temps réel d'AltaRica
    par Pagetti Claire
    [s.n.] 2004
    Thèse ou mémoire
  16. 36
    Réseaux de Petri à chronomètres : temps dense et temps discret
    par Magnin Morgan
    2007
    Thèse ou mémoire
  17. 37
    Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus
    par Lime Didier
    [s.n.] 2004
    Thèse ou mémoire
  18. 38
    Synthèse de systèmes informatiques temporisés non interférents
    par Benattar Gilles
    [s.n.] 2011
    Thèse ou mémoire
  19. 39
    Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels
    par Sogbohossou Médésu
    [s.n.] 2009
    Thèse ou mémoire
  20. 40
    Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques
    par Prigent Armelle
    [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.