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