Login / Signup
FoPA: identifying perturbed signaling pathways in clinical conditions using formal methods.
Fatemeh Mansoori
Maseud Rahgozar
Kaveh Kavousi
Published in:
BMC Bioinform. (2019)
Keyphrases
</>
formal methods
signaling pathways
model checking
software engineering
formal specification
knowledge based systems
artificial intelligence
regulatory networks
multi agent systems
knowledge discovery
database
databases
machine learning
biologically inspired
modeling language
protein protein interactions