A verification tool for ERLANG.

Lars-Åke Fredlund Dilian Gurov Thomas Noll Mads Dam Thomas Arts Gennady Chugunov

Published in: Int. J. Softw. Tools Technol. Transf. (2003)

Keyphrases

model checking
software tools
data sets
image processing
case study
multiresolution
source code
databases
information systems
feature selection
website
artificial neural networks
evolutionary algorithm
open source