• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa.

Emmanuelle GalletMatthieu MancenyPascale Le GallPaolo Ballarini
Published in: Tech. Sci. Informatiques (2015)
Keyphrases
  • fuzzy classifier
  • temporal logic
  • model checking
  • linear temporal logic
  • deterministic automata
  • linear time temporal logic
  • neural network
  • knowledge base
  • bounded model checking