Login / Signup
C/C++: progress or deadlock in system-level specification.
Daniel Gajski
Eugenio Villar
Wolfgang Rosenstiel
Vassilios Gerousis
D. Barton
J. Plantin
S. E. Ericsson
Patrizia Cavalloro
Gjalt G. de Jong
Published in:
DATE (2001)
Keyphrases
</>
lower level
data sets
high level
levels of abstraction
knowledge level
real time
artificial intelligence
computer vision
knowledge base
three dimensional
recommender systems
specification language