Résultat(s) 1 - 20 résultats de 43 pour la requête 'Roux Olivier', Temps de recherche: 0,20s Affiner les résultats
  1. 1
    CONCURRENCE ET COMMUNICATION DANS LE LANGAGE REACTIF REPARTI ORESTE
    par Roux Olivier
    [Éditeur inconnu] 1994
    Thèse ou mémoire
  2. 2
    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
  3. 3
    ELECTRE : EXPRESSION ET MODELISATION DU COMPORTEMENT DE PROCESSUS TEMPS-REEL REPARTIS COMMUNICANTS
    par Roux Olivier-Henri
    [s.n.] 1985
    Thèse ou mémoire
  4. 4
    Réussir l'épreuve écrite d'histoire et de géographie au concours de professeur des écoles
    par Simonis Francis, Roux Olivier
    S. Arslan DL 2005
    Livre - Annales
  5. 5
    Vérification des EFFBDs : model checking en ingénierie système
    par Seidner Charlotte, Roux Olivier
    [s.n.] 2009
    Thèse ou mémoire
  6. 6
    Monstres : une histoire générale de la tératologie des origines à nos jours
    par Roux Olivier-Jean-André
    CNRS Éditions 2016
    L'accès à cette ressource est géré par la BU.
    Accès en ligne Nantes Université
    Livre En ligne
  7. 7
    Analyse paramétrique des systèmes hybrides
    Thèse ou mémoire
  8. 8
    Étude de la conjonction des approches asynchrone et synchrone dans les langages réactifs : application à Electre
    Thèse ou mémoire
  9. 9
    Dictionnaire thématique d'histoire et de géographie du professeur des écoles
    par Fageol Pierre-Éric, Roux Olivier
    S. Arslan DL 2007, cop. 2007
    Livre
  10. 10
    Réseaux de Petri à chronomètres : temps dense et temps discret
    Accès en ligne
    Thèse ou mémoire En ligne
  11. 11
    Réseaux de Petri à chronomètres : temps dense et temps discret
    Thèse ou mémoire
  12. 12
    Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels
    Thèse ou mémoire
  13. 13
    Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus
    Thèse ou mémoire
  14. 14
    Synthèse de systèmes informatiques temporisés non interférents
    Thèse ou mémoire
  15. 15
    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
  16. 16
    Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel
    Thèse ou mémoire
  17. 17
    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
  18. 18
    Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones
    Thèse ou mémoire
  19. 19
    Extension temps réel d'AltaRica
    Thèse ou mémoire
  20. 20
    Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques
    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.