BEval: A Plug-in to Extend Atelier B with Current Verification Technologies.

Valério Medeiros Júnior David Déharbe

Published in: LAFM (2013)

Keyphrases

future development
data sets
artificial intelligence
search engine
digital media
future trends
databases
computer vision
bayesian networks
information technology