Operation of JTMS

JTMS functionalities are obtained by means of two tasks:

1. truth (or consistency) maintenance of assertions;

2. inconsistency management.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica