C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL.
Quan Zu
Miaomiao Zhang
Jing Liu
Qingfeng Du
Published in:
HASE (2008)
Keyphrases
</>
container terminal
model checking
temporal logic
quay cranes
conceptual modelling
verification method
quay crane
learning environment
image processing
case study
search algorithm
digital libraries
information systems
neural network
formal specification
model checker
real time
timed automata
database