C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Software Component Design with the B Method - A Formalization in Isabelle/HOL.
David Déharbe
Stephan Merz
Published in:
FACS (2015)
Keyphrases
</>
detection method
pairwise
significant improvement
case study
support vector machine
neural network
multi agent
cooperative
preprocessing
high accuracy
design rationale
software design
software architecture
probabilistic model
user interface
reinforcement learning
similarity measure
high level
machine learning