Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.

Nguyen Van Tang Daisuke Souma Goro Hatayama Hitoshi Ohsaki

Published in: VSTTE (2012)

Keyphrases

neural network
modeling method
data mining
real world
artificial intelligence
search engine
information systems
decision making
image processing
multimedia
bayesian networks
wide range
mobile devices
color images
significant improvement
probabilistic model
modeling language
real time