C
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 Gallet
Matthieu Manceny
Pascale Le Gall
Paolo 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