ATP_ABC_LOGIC_VDM - Logic for Alternative-Based Confirmation Data Model in ATP
The development package ATP_ABC_LOGIC_VDM contains objects for "Logic for Alternative-Based Confirmation Data Model in ATP".
It is a subpackage in its parent development package ATP_ABC_LOGIC. It belongs to software component CA-ATP-ABC.
It is a subpackage in its parent development package ATP_ABC_LOGIC. It belongs to software component CA-ATP-ABC.
This development package contains no child development packages.
This development package contains no tables.