Software
The following SAL applications have been developed and are operational.
|
CAESAR III is an application for the design of information processing and decision making organizations. |
|
Pythia is a timed influence net application. |
|
Temper is a temporal logic application. |