Formal Approach to Railway Applications.

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

real world
trade off
database
decision making
image processing
multiscale
multi agent
video sequences
formal model
formal methods
formal analysis