| http://www.w3.org/ns/prov#value | - ce information which specifies information on pairs of fragments of descriptions to be compared and which specifies information on pairs of signals to be compared for each description pair, and compile information including mapping information between the behavioral level description and the object code; searching a code portion and the variables of the object code corresponding to each fragments
|
