Login / Signup
Deductive Verification of Railway Operations.
Eduard Kamburjan
Reiner Hähnle
Published in:
RSSRail (2017)
Keyphrases
</>
object oriented
case study
programming language
formal methods
real time
neural network
artificial intelligence
social networks
similarity measure
model checking
face verification
formal analysis
test generation
person identification