Login / Signup

É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