Login / Signup
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking.
Fernando A. F. Braz
Jader S. Cruz
Alessandra C. Faria-Campos
Sérgio Vale Aguiar Campos
Published in:
SBMF (2012)
Keyphrases
</>
model checking
probabilistic model
model checker
bayesian networks
temporal logic
finite state machines
formal methods
temporal properties
process model
binary decision diagrams
symbolic model checking
concurrent systems
process algebra