Submodule construction from concurrent system specifications.

Esfandiar Haghverdi Hasan Ural

Published in: Inf. Softw. Technol. (1999)

Keyphrases

information retrieval
image processing
control flow
delay insensitive
concurrent programs
database
real time
machine learning
clustering algorithm
high level
reinforcement learning
data model
construction process