Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique.

Tayfun Gezgin Björn Koopmann Achim Rettberg

Published in: IESS (2015)

Keyphrases

learning algorithm
cooperative
database
databases
information retrieval
multimedia
control system
state space
data driven