Login / Signup
OnTrack: The Railway Verification Toolset - Extended Abstract.
Phillip James
Faron Moller
Hoang Nga Nguyen
Markus Roggenbach
Helen Treharne
Xu Wang
Published in:
ISoLA (2) (2016)
Keyphrases
</>
extended abstract
model checking
signature verification
databases
data mining
information retrieval
decision making
website
multiscale
digital images
development process
formal verification
high security
functional verification