Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012.

Elvinia Riccobene Steve Reeves

Published in: Sci. Comput. Program. (2014)

Keyphrases

special issue
information retrieval and extraction
special section
mechanical properties
database
multiscale
randomly selected
selected papers
real time
machine learning
information systems
feature selection
expert systems
knowledge discovery
text mining
carefully selected