A verifier for checking the conformance of programs with the GKS standard.

Günther E. Pfaff R. Müller B. Kirsch

Published in: Comput. Graph. (1985)

Keyphrases

database
real time
data model
image processing
web services
case study
evolutionary algorithm
intermediate level
control program