The Z Specification Refinement of Based on Tableau.

Published in: FCS (2010)

Keyphrases

description logics
high level
user defined
machine learning
formal specification
data sets
specification language
formal verification
refinement process
data mining
learning algorithm
search engine
computer vision
decision making
knowledge base
reactive systems