Model checking approach to cancer systems biology

• Main Author: Tan, Chun Wei
• Other Authors: Zheng Jie
• Format: Final Year Project
• Language: English
• Published: 2015
• Subjects: DRNTU::Engineering::Computer science and engineering::Computing methodologies::Simulation and modeling
• Online Access: http://hdl.handle.net/10356/62648
• Institution: Nanyang Technological University

Cancer is among the deadliest disease in the world. This is caused by an uncontrolled division of abnormal cells in the body. Some cancer might spread to take over parts of body that affect the health of a person. As medical technology improves, many treatments such as drugs can effectively control...