Résultats de la recherche - "Formal methods."

  1. 11
  2. 12
  3. 13
  4. 14

    Teamwork in multi-agent systems a formal approach par Dunin-Kȩplicz, Barbara

    Publié 2010
    Livre
  5. 15
  6. 16
  7. 17

    Process algebra for parallel and distributed processing

    Publié 2009
    Livre
  8. 18

    A formal data-model of the CORBA security service. par Basin, David

    Article
  9. 19
  10. 20