Activation and validation of the system specifications.

József Györkös Ivan Rozman Tatjana Welzer

Published in: Microprocessing and Microprogramming (1991)

Keyphrases

high level
functional requirements
delay insensitive
databases
machine learning
computer vision
image segmentation
expert systems
information processing
learning technologies
formal specification