TL: A system specification system.

L. P. M. Benders M. P. J. Stevens

Published in: Microprocess. Microprogramming (1993)

Keyphrases

high level
specification language
genetic algorithm
computational properties
formal verification
neural network
data mining
decision making
multiscale
multiresolution
user defined