Generic constructions for behavioral specifications.

Published in: Theor. Comput. Sci. (2012)

Keyphrases

high level
domain specific
multiscale
real time
artificial intelligence
database
real world
genetic algorithm
image sequences
artificial neural networks
functional requirements
delay insensitive