Login / Signup
Program Behaviour Specification through Explicit Time Consideration.
Tamás Gergely
László Úry
Published in:
IFIP Congress (1980)
Keyphrases
</>
control program
program execution
learning algorithm
artificial intelligence
high level
computer programs
formal verification
computer vision
image sequences
software engineering
static analysis
control flow
automatic programming
user behaviour
java programs