ATP_ABC_LOGIC - Logic for Alternative-Based Confirmation in ATP

The development package ATP_ABC_LOGIC contains objects for "Logic for Alternative-Based Confirmation in ATP".
It is a subpackage in its parent development package ATP_ABC. It belongs to software component CA-ATP-ABC.

Child development packages of ATP_ABC_LOGIC

Development Package	Description
ATP_ABC_LOGIC_ACTIVATION	Logic for Alternative-Based Confirmation Activation in ATP
ATP_ABC_LOGIC_CONTROL	Logic for Alternative-Based Confirmation Control in ATP
ATP_ABC_LOGIC_DETERMINATION	Logic for Alternative-Based Confirmation Altv. Deter. in ATP
ATP_ABC_LOGIC_SUBSTITUTION	Logic for Alternative-Based Confirmation Substitution in ATP
ATP_ABC_LOGIC_VDM	Logic for Alternative-Based Confirmation Data Model in ATP

This development package contains no tables.