C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Refinement of Trace Abstraction for Real-Time Programs.
Franck Cassez
Peter Gjøl Jensen
Kim Guldstrand Larsen
Published in:
RP (2017)
Keyphrases
</>
real time
low cost
high level
data sets
image processing
multimedia
control system
information systems
multiscale
data structure
high speed
data acquisition
moving target
real time tracking
control program