An ADL for Functional Specification of IA32.

Wei Qin Asa Ben-Tzur Boris Gutkovich

Published in: MTV (2007)

Keyphrases

user defined
description language
databases
high level
specification language
computer vision
decision trees
formal specification
functional properties
functional analysis