Login / Signup
OnTrack: An Open Tooling Environment for Railway Verification.
Phillip James
Matthew Trumble
Helen Treharne
Markus Roggenbach
Steve A. Schneider
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
real time
environmental conditions
complex environments
mobile robotics
mobile robot
dynamic environments
programming environment
decision making
website
case study
similarity measure
face verification
simulation environment