Abstraction and Verification of Properties of a Real-Time Java.

Martin Strecker

Published in: ICTERI (2012)

Keyphrases

real time
high level
vision system
byte code
object oriented
neural network
multi threaded
programming language
low cost
desirable properties
model checking
open source
moving target
data acquisition
high speed
data streams
computer vision
data sets