Passenger Ship Evacuation - Design and Verification.

Luis Guarin Yasmine Hifi Dracos Vassalos

Published in: HCI (17) (2014)

Keyphrases

design process
multi agent
cellular automata
data structure
genetic algorithm
search engine
decision making
e learning
knowledge base
website
web services
database systems
knowledge based systems
conceptual framework
formal verification
structural design