Résultats de la recherche - Petrucci Laure

  • Résultat(s) 1 - 3 résultats de 3
Affiner les résultats
  1. 1
    Méthodes formelles pour les systèmes répartis et coopératifs /

    Méthodes formelles pour les systèmes répartis et coopératifs /

    Publié 2006
    Livre

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Vérification de logiciels : techniques et outils du model-checking /

    Vérification de logiciels : techniques et outils du model-checking / par Bérard, Béatrice (19..-....; professeure en informatique), Bidoit, Michel (1957-....), Laroussinie, François (19..-....; auteur en informatique)

    Publié 1999
    Livre

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées /

    Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées / par Bao, Ran (1989-....)

    Accès au texte intégral
    Accéder au texte intégral
    Accéder au texte intégral
    Thèse Électronique eBook

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: