Tools for System Validation with B Abstract Machines.

Michael J. Butler Michael Leuschel Colin F. Snook

Published in: Abstract State Machines (2005)

Keyphrases

database systems
data mining
information retrieval
open source
user friendly
social networks
information systems
knowledge base
metadata
high level
end users
building blocks
software developers
learning machines
visualization tools