C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
Arnab Bhattacharyya
Ashutosh Gupta
Lakshmanan Kuppusamy
Somya Mani
Ankit Shukla
Mandayam K. Srivas
Mukund Thattai
Published in:
Acta Informatica (2021)
Keyphrases
</>
formal methods
feature set
feature extraction
feature space
feature vectors
database
data mining
artificial intelligence
formal analysis
model checker