Search Results - Laboratoire des Sciences du Numérique de Nantes

Refine Results
  1. 1
    Cover Image

    CONCURRENCE ET COMMUNICATION DANS LE LANGAGE REACTIF REPARTI ORESTE by Roux, Olivier (1958-....; maître de conférences au sein du Laboratoire des Sciences du Numérique de Nantes (2024))

    Published 1994
    Thesis


    Save to List
    Saved in:
  2. 2
    Cover Image

    Approches formelles des systèmes embarqués communicants by Roux, Olivier (1958-....; maître de conférences au sein du Laboratoire des Sciences du Numérique de Nantes (2024))

    Published 2008
    Book


    Save to List
    Saved in:
  3. 3
    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:
  4. 4
    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:
  5. 5
    Cover Image

    Vérification des EFFBDs : model checking en ingénierie système by Seidner, Charlotte (1983-....)

    Published 2009
    Thesis


    Save to List
    Saved in:
  6. 6
    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:
  7. 7
    Cover Image

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

    Published 2003
    Thesis


    Save to List
    Saved in:
  8. 8
    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:
  9. 9
    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:
  10. 10
    Cover Image

    Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus by Lime, Didier (1977-....)

    Published 2004
    Thesis


    Save to List
    Saved in:
  11. 11
    Cover Image

    Réseaux de Petri à chronomètres : temps dense et temps discret by Magnin, Morgan (1980-....)

    Published 2007
    Available online :
    Online Réseaux de Petri à chronomètres (2007)
    Thesis


    Save to List
    Saved in:
  12. 12
    Cover Image

    Réseaux de Petri à chronomètres temps dense et temps discret by Magnin, Morgan (1980-....)

    Published 2007
    Online Access
    Thesis


    Save to List
    Saved in:
  13. 13
    Cover Image

    Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels by Sogbohossou, Médésu (1975-....)

    Published 2009
    Thesis


    Save to List
    Saved in:
  14. 14
    Cover Image

    Vérification et dépliages de réseaux de Petri temporels paramétrés by Traonouez, Louis-Marie (1984-....)

    Published 2009
    Available online :
    Online Vérification et dépliages de réseaux de Petri temporels paramétrés (2009)
    Thesis


    Save to List
    Saved in:
  15. 15
    Cover Image

    Vérification et dépliages de réseaux de Petri temporels paramétrés by Traonouez, Louis-Marie (1984-....)

    Published 2009
    Online Access
    Thesis


    Save to List
    Saved in:
  16. 16
    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:
  17. 17
    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:
  18. 18
    Cover Image

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

    Published 2004
    Thesis


    Save to List
    Saved in:
  19. 19
    Cover Image

    Synthèse de systèmes informatiques temporisés non interférents by Benattar, Gilles (1983-....)

    Published 2011
    Thesis


    Save to List
    Saved in:
  20. 20
    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:

Search Tools: