Design Verification of an Optimized Wayfinding Map in a Station.

Meng-Cong Zheng Ken-Tzu Chang

Published in: ISPRS Int. J. Geo Inf. (2021)

Keyphrases

information systems
design process
formal methods
website
artificial neural networks
model checking
probabilistic model
functional verification
optimal design
design methodology
conceptual framework
design principles
real time
relational databases
image segmentation
case study
genetic algorithm
data mining