Towards modular verification of pathways: fairness and assumptions

Peter Drábik Andrea Maggiolo-Schettini Paolo Milazzo

Published in: MeCBIC (2012)

Keyphrases

model checking
functional verification
real time
databases
neural network
data mining
genetic algorithm
cooperative
resource allocation
signature verification
highly flexible