Identification and Analysis of Illegal States in the Apoptotic Discrete Transition System Model using ATPG and SAT-based Techniques

Identification and Analysis of Illegal States in the Apoptotic Discrete Transition System Model using ATPG and SAT-based Techniques

Programmed Cell Death, or Apoptosis, plays a critical role in human embryonic development and in adult tissue homeostasis. Recent research efforts in Bioinformatics and Computational Biology focus on gaining deep insight into the Apoptosis process. This allows researchers to clearly study the relati...

Full description

Bibliographic Details
Main Author: Shrivastava, Anupam
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2014
Subjects:
Image Computation
ATPG
Apoptosis
SAT
Bounded Model Checking
Online Access:http://hdl.handle.net/10919/35202
http://scholar.lib.vt.edu/theses/available/etd-09262008-155209/

Internet

http://hdl.handle.net/10919/35202
http://scholar.lib.vt.edu/theses/available/etd-09262008-155209/

Similar Items