| http://www.w3.org/ns/prov#value | - What is, therefore, needed but not yet available, is an apparatus and method for verifying a multicomponent target system that may rapidly model a significant portion of the target system and may, furthermore, be easily connected to a simulator or software debugging tool.
|
